a _truly_ extensible functional-language compiler that allows people to add new typing rules, judgments, etc to the type system without reinventing wheels left and right, if that's sensible and possible
Quote Tweet
"Everything is fine."
What's missing from your current programming world that you think you don't need, but that once you have, you'll wonder how you ever lived without?
Show this thread
13
10
80
