3 ms·
> a few unsound type hints Which turns out to be exactly what you need to be productive writing software. People who obsess about type systems and try to solve
by incrudible 3y ago
> a few unsound type hints
Which turns out to be exactly what you need to be productive writing software. People who obsess about type systems and try to solve everything within them create a whole new bag of problems.
- hajile 3y agoStandardML is a counter-example. It has sound types but keeps them utilitarian and simple enough so people can’t easily overdo the typing. I’ve become very sick of the “type palaces” people construct (they remind me of “enterprise java” where people do stupidly complex stuff because they can).