On 10/26/05, Stevan Little <[EMAIL PROTECTED]> wrote: > > On Oct 26, 2005, at 12:05 PM, Larry Wall wrote: > > Of course, there are other words that are somewhat synonymous with > > "class", Unfortunately "sort" is already hosed. Maybe "kind". > > Actually "kind" is used in the "Core Calculus for Metaclasses" paper > which I brought to the hackathon (not sure if you got to read it or > not). Here is a link: > > http://research.sun.com/projects/plrg/core-calculus.pdf > > They present an rather interesting view on things, that the > definition of the instance creating portion of a "class" should be > seperated from the "class" or "kind" portion of the class. Actually > the first metamodel prototype grew out of an implementation of the > model they describe in the paper.
This might dovetail quite nicely into the discussion of how types are now sets instead of junctions. Objects are now a junction of the various kinds that were used to create it. Thus, boxed types are now almost trivial to implement ... ? Rob