Explicit Typing, Trail Blazing, and Packrat Parsing
(Warning / Reassurance: this is not a technical post on how to use packrat parsing to evaluate type declarations.)
Steve Yegge calls this image a "treatise on non-inferring static type systems...one of the most insightful Computer Science papers ever published":
He then goes on to say "[Different styles are] perfectly …
more ...