Hi,
I would like to know where I can find the latest documentation on the type
(and above all subtype) system for Perl 6. The synopsis does not say much about it.
I found this:
http://www.dlugosz.com/Perl6/web/typesystem-summary.html
but agin there is not much information.
If your are curious about my interest, the reason is that I wanted to propose a
type system for a core of Perl 6. The idea is to use the type system of the
CDuce language (http://www.cduce.org) without the XML part but using the same
technique used there to type the (late bound) overloaded functions (akin to
multi-methods). I want to adapt it to Perl 6 multi sub/methods (with ";;"
parameters) by using the ideas I wrote long ago in the following paper:
G. Castagna: Covariance and contravariance: conflict without a cause. ACM
Transactions on Programming Languages and Systems, vol. 17, n. 3, pag. 431-447,
1995.
the advantage is that combining these old ideas with the recent advances of the
Cduce type system should yield a type system very easy to understand and use for
the average programmer since it relies on simple notions such as union,
intersection, and set (of values) containment. Furthermore the powerful
(sub-)typing algorithms developed CDuce could be probably reused with minor
modifications.
I would like to know the current status of the Perl6 in order to adapt my
presentation. In particular, a complete syntax for types would be welcome (the
most complete description I found is this one
http://www.programmersheaven.com/2/Perl6-FAQ-Types).
Thanks in advance for your help. Of course I will be happy to discuss the
details of my proposal on this list, if there is any interest, of course.
---Beppe---
P.S. If you are interested to see what I work on, please check my web page:
http://www.pps.jussieu.fr/~gc
