I have finally begun formalizing and implementing (they are the same thing with Haskell anyway) the new PIL runcore, starting with the container types. I have posted a first cut at container definition that tackles the semantic of binding, tie/untie and container equivalence.
This time I have backed the implementation up with Haskell-level unit tests, as well as QuickCheck instances planned for invariant testing in the ST monad.
Most of the formalization came from iblech's JavaScript work. Today he announced that the JS backend is passing an amazing 43.75% of Pugs's 4295 unit tests, including 20 unexpected successes. This is truly amazing.
As my $work involves web servers that are 10x slower than a typical client browser, I'm tempted to play with compiling Perl 6 into Perl 5 for the server side and JavaScript for the client side, and see if it yields acceptable performance. We'll see how it goes...
