3 ms·
If that's true, that's such a disappointment. I always thought of Haskell as the pinnacle of mathematical discipline in programming (though too hard for me to w
by brabel 2y ago
If that's true, that's such a disappointment. I always thought of Haskell as the pinnacle of mathematical discipline in programming (though too hard for me to wrap my head around!).
- mjan22640 2y agoSuch a pinnacle would be Agda. Haskell has mathematical holes.
- johnnyjeans 2y agoHaskell is 30 years old at this point. It was pretty cutting edge in the 90s, but the pinnacle has climbed ever higher.