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:
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

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.


P.S. If you are interested to see what I work on, please check my web page: http://www.pps.jussieu.fr/~gc

Reply via email to