To me, the gist of Meijer's positions is maximizing inference power with optional type annotation, yet do not shy away from runtime checks where static checking becomes infeasible:
Array of Numbecomes monomorphic, and you can't even store an
Intinto it without verbose casting or wild-card type annotations.
Also I started learning Erlang. For single-process applications, its expressive power is less than Haskell, and I miss static types (but not much), but its handling of messaging and recovery is very elegant. STM captures some of the elegance, but single-assignment makes things so much easier -- after all, variables are much nicer when they cannot change.
While I was in study mode, some lambdacamels are madly hacking. putter popped up with lots of PIL questions to a confused stevan; we didn't understand what he was getting at, until putter revealed crude_repl.pl, a working Perl 5 interpreter that parses and runs Haskell PIL structures. It is exceedingly kludgy, but we are all suitably impressed:
<autrijus> oh wow, a Hs parser
<wolverian> I think that deserves a respectful silence. or a frightened one.
<stevan> putter: I just thought you were curious, but you are serious
Aankhen and iblech did a very simple eval.p6 that evaluates Perl 6 code with
eval and $result.perl; I wonder if someone will export the pluggable evaluator (envEval) and evolve this into a debugger shell...
fglock, continuing his work on Span.pm, produced Span::Code, a two-way iterator and recurrence set interface defined with closures. It is quite expressive; see the "all non-zero integers" demo in the synopsis for an example.
On the metamodel front, stevan hacked in submethod support, which verifies that the invocant is indeed monomorphic to the containing class.
scook0 prettified the Haddock a bit; masak wants
.<key> = 'value' and wrote tests for it; rafl refactored our debian packaging metadata; iblech... well, did lots of things as usual.
Oh, and it looks like cwest may start adopting an anarchistic model for JSAN development, beginning with the
#jsan channel in irc.freenode.net, a public svn repository, in addition to the jsan-devel mailing list. Best wishes to cwest and the imminent legion of rhinocamels!