Comment by jesse__ 2 months ago > great languages like [...] HaskellWe have very different opinions on what makes a great language 2 comments jesse__ Reply Ericson2314 1 month ago Then I'm surprised you agreed with any of what I wrote! jesse__ 1 month ago I 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 uncommon3) poor metaprogramming facilities4) difficult documentation[1] https://stackoverflow.com/questions/76470000/is-there-a-reas...
Ericson2314 1 month ago Then I'm surprised you agreed with any of what I wrote! jesse__ 1 month ago I 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 uncommon3) poor metaprogramming facilities4) difficult documentation[1] https://stackoverflow.com/questions/76470000/is-there-a-reas...
jesse__ 1 month ago I 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 uncommon3) poor metaprogramming facilities4) difficult documentation[1] https://stackoverflow.com/questions/76470000/is-there-a-reas...
Then I'm surprised you agreed with any of what I wrote!
I 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-reas...