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