3 ms·
This is a great comment outlining some of Haskell's strengths. Definitely, ADTs should exist in every language claiming their static type system as a feature.
by z1mm32m4n 9y ago
This is a great comment outlining some of Haskell's strengths. Definitely, ADTs should exist in every language claiming their static type system as a feature.
Just one thing that stands out to me:
> "Anything can be anything or sometimes nil" is a hard pill to swallow once you've used Haskell.
In a language like Java yes, nearly every type is inhabited by null. In fairness, a similar problem exists in Haskell: every type is inhabited by "bottom" which is the computation that never terminates. This is a side effect of being lazy by default.
- hardwaresofton 9y agoHey is that truth affected by the talk surrounding enabling strictness with a flag in Haskell? I don't know much about the actual progress/implementation (mostly because I haven't had too many problems with laziness yet) I've heard that Idris is basically Haskell but strict by default -- I've never tried it but maybe I should? I'm hesitant to go to a language with even less libraries/support/mindshare than Haskell though