Re: Type system for Perl 6

2010-02-04 Thread Darren Duncan
Darren Duncan wrote: Giuseppe Castagna wrote: G. Castagna: Covariance and contravariance: conflict without a cause. ACM Transactions on Programming Languages and Systems, vol. 17, n. 3, pag. 431-447, 1995. Is there an electronic copy of this that you can link to? Ah, spoke too soon. An ele

Re: Type system for Perl 6

2010-02-04 Thread Timothy S. Nelson
On Fri, 5 Feb 2010, Giuseppe Castagna wrote: 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. http://perlcabal.org/syn/ There's no one document there that contains all the i

Re: Type system for Perl 6

2010-02-04 Thread Darren Duncan
Giuseppe Castagna wrote: 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 informati

Type system for Perl 6

2010-02-04 Thread Giuseppe Castagna
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 curi