My Manuscripts
✮ Advanced Polymorphism in Perl 6 — Features of a second-generation type system (PDF) or (ODT)
Out of Date my “spec doc”, to become Perl 6 Rigorous Technical Specification (PDF) (ODT)
Web pages
2009-June A series of pages on the Perl 6 Information Model, including parameter passing, lvalues, collections, binding, etc.
Updated 2009-June-01 Meditations on Perl taken from concepts in APL. Don’t take the actual examples too seriously, but it brings up some interesting points.
Updated 2009-May-24 Code objects: toward a design of the class hierarchy containing Callable, Block, and Routine.
Updated 2009-May-22 Meditations on a Loop dissects a single statement, and looks at language features and some deep conceptual issues.
Out of Date Perl 6 Type System Overview explains what is known and not known about the Perl 6 Type System thus far.
✮ “isa” relationships and inheritance might be useful before reading Advanced Polymorphism. This shows you what the old kind is all about, and how this is limited by existing languages.
Still Good The page eqv, ===, =:=, etc. explains the myriad ways that things can be tested for equality.
A Romp Through Infinity explains the Inf constant, but drills down into many language features in doing do.
Out of Date How functions return Capture objects without you noticing them, yet appear when you do need them.
A Romp around addn looks at something that just can't be done in most contemporary languages.
Class Member Declarators examines all the things that can go in a class to define what that class will be, exactly.
Lazy Lists and Multi-Threading Just brainstorming.