3 ms·
> great languages like [...] Haskell We have very different opinions on what makes a great language
by jesse__ 10mo ago
> great languages like [...] Haskell
We have very different opinions on what makes a great language
- Ericson2314 10mo agoThen I'm surprised you agreed with any of what I wrote!
- jesse__ 10mo agoI mean, I agree with the notion that a great type system is part of a great language, but the type system is only a small part of the overall whole. Haskell has a great type system, but it fails miserably at many trivial tasks I care about : 1) sum 1 million integers == stackoverflow (big lul) 2) massive memory cliffs for using the wrong type [1], which is not uncommon 3) poor metaprogramming facilities 4) difficult documentation [1] https://stackoverflow.com/questions/76470000/is-there-a-reason-my-haskell-program-uses-so-much-memory https://stackoverflow.com/questions/76470000/is-there-a-reas...