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 information about
types, but those are the latest, most authoritative documents. If the code
doesn't do what these documents say, then it's the code that is wrong, not the
documents. You probably want the links in the "Specification" column.
Without knowing exactly what you mean by "type system" (I'm not
one of the experts around here), I'd suggest that the places you want to look
are parts of:
- S02: Bits and Pieces
- S09: Data Structures
- S12: Objects
- S14: Roles and Parametric Types
Possibly the following may also be useful:
- S10: Packages
- S11: Modules
- S13: Overloading
- S32: This contains API information for some of the individual types
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).
See link above.
As for the status; let me start by stating that (unlike Perl 5), Perl
6 is a specification that has multiple (incomplete) implementations. The
sections marked [DRAFT] at the link above are still far from final. The
others, while still changing daily, are more ... thorough and
community-approved.
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.
As I've said, I'm no expert; I didn't completely understand your
original message. Hopefully one of the experts will be able to chime in as
the discussion progresses.
Just before I end this e-mail, I should maybe also provide a link to
http://perl6.org/ since it links to things that may be useful to you.
HTH,
:)
---------------------------------------------------------------------
| Name: Tim Nelson | Because the Creator is, |
| E-mail: wayl...@wayland.id.au | I am |
---------------------------------------------------------------------
----BEGIN GEEK CODE BLOCK----
Version 3.12
GCS d+++ s+: a- C++$ U+++$ P+++$ L+++ E- W+ N+ w--- V-
PE(+) Y+>++ PGP->+++ R(+) !tv b++ DI++++ D G+ e++>++++ h! y-
-----END GEEK CODE BLOCK-----
