I've identified a few more issues while refactoring the text across all
the synopses, but I'm just noting everything in my document. Not enough
discussion going on to post them all.
My main creative effort is in studying type systems, and musing over
what it would be like to have Perl 6's type system to be F-bounds
specified subtyping. According to Anthony Simons, no one has ever
completely implemented it before. I think Perl is a language that
=could= do it, with its mixture of helpful typing and lax non-typing.
Can't get a strict subtype defined properly? Forget about it and just
- progress report John M. Dlugosz