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 use Any.


Reply via email to