I’m convinced that sum types and exhaustiveness checks are like 90% of what I want from typing systems, at least for “enterprise software”-y stuff
it follows that if TypeScript could be overlaid on other languages, that would be a major win for the pragmatists out there that want to reel in their existing code.
These sorts of exercises are interesting to see, because it does “prove” the feasibility of some tricks. Even if it ends up looking obtuse.
By our very own @whbboyd, I found this a fun exercise.