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,
Use ANTLR4's lexer mode stack to support rich string interpolations within your own DSL or compiler...