I originally wrote a draft of this in December, but was inspired to finish it by recent events (i.e. actix-web). We’ve all heard the trope that the “free” in “free software”
Position: Type annotations are ultimately undesirable when working with sufficiently-complex type systems, but there is no better solution. There is a point where a formally-verified compiler becomes indistinguishable from an automated theorem prover.
It's still not public yet, but here's a little bit about my current project. If you've read any of my "What's New" posts, you'll recall hearing about me working on the "Manda" language
Synopsis: Baby's first Lisp
Tinkering around with kernel, Dart's intermediate format... And more. Discuss on Hacker News: https://news.ycombinator.com/item?id=19844762 The continued development of Dart's unified frontend (shared across the VM, dev compiler,