Andrew on Nostr: Scathach SML is kinda better for educational purposes — the concepts are easier to ...
Scathach (nprofile…5f97) SML is kinda better for educational purposes — the concepts are easier to grasp with it, later you can easily switch to OCaml for a more practical (and sophisticated) variant
or you can start with OCaml right away — you can even start right away with Coq and Software Foundations, having only a Lisp as the background, but it's likely to be overly steep
Haskell's only advantage is that the compilers can produce highly parallel programs due to the language's restrictions, but from educational perspective it's complete disaster — if you learn typed FP with Haskell, you're guaranteed to end up with a whole lot of misconceptions about the topics involved, and likely a permanent brain damage
or you can start with OCaml right away — you can even start right away with Coq and Software Foundations, having only a Lisp as the background, but it's likely to be overly steep
Haskell's only advantage is that the compilers can produce highly parallel programs due to the language's restrictions, but from educational perspective it's complete disaster — if you learn typed FP with Haskell, you're guaranteed to end up with a whole lot of misconceptions about the topics involved, and likely a permanent brain damage