QuickChecking PIL.hs keeps revealing dubious assumptions. For example, the semantics of my $x is constant is Tieable was entirely unclear. What does it mean to rebind a constant? How does the two fundamental value types (Singular and Plural) interact? Under what circumstances does Perl insert the implicit FETCH and STORE calls? So on and so forth. Fortunately, I got most of them nailed down today, and should be able to follow up with a detailed treatment soon.
Stevan's Perl 5 prototype of Perl6-MetaModel is close to full bootstrapping -- i.e. able to represent the metamodel itself as an object under that model. He is removing the last trace of Perl 5 specific features -- AUTOLOAD, for example; once that is done, I'll integrate it to the new PIL runcore, verify its properties.
Eventually, the plan is to translate the metamodel into Perl 6, so the underlying runtime can just provide the basic imperative core with closure support. This should enable us compiling to lower-level presentations such as C-- or LLVM one day. Also, once the compiler is written in Perl 6 too, all backends would automagically gain the ability of
The plan is to release 6.2.9 tomorrow in time for Ingy's OSCON Talk, so I should catch some sleep now instead of chronicling any further. See you tomorrow!