Day 179 (r5980): Elusive container types.

autrijus on 2005-08-01T18:35:07

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 eval.

iblech announced that the JavaScript backend now passes 62.03% of he 4303 tests it runs: 2669 ok, 1634 failed, and 44 unexpected successes.

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!


Autrijus on asciii art...

rg0now on 2005-08-01T19:55:09

Hey, Autrijus, have you already seen this and this? You bacame really famous!...:-)

rg0now

Re:Autrijus on asciii art...

autrijus on 2005-08-01T20:15:30

Why, yes, cog told me about it when he released that strange module. It's cute. :)