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
Hello, to the maybe 5 people reading this! This blog has started to gather dust
from the lack of usage. In all the years I've had this domain, I've written
fewer than 30
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,