6 ms·
Yep. Haskell is a perfect counterexample (everything is inferred).
by sz 16y ago
Yep. Haskell is a perfect counterexample (everything is inferred).
- silentbicycle 16y agoHaskell has a lot of other quirks, for better and worse. Harrrrrdly perfect, but not touching that one. The main point is that modern static typing eliminates those stupid, tedious, verbose type annotations, as well as the stupid Python "I decided to crash because calcVaule(input) does not exist, but OMFG how could I have possibly known until I got there" errors. The article is complaining about the problems that have been thoroughly solved for decades. Which is totally cool; if you want me, I'll be here in the corner howling about Nixon and Disco.