News for hackers. Stuff that matters.

A comment on Haskell's Children. Parent comment

Re:Haskell's Children by kryptiskt on Wednesday September 23, 2020 @08:37AM (#24566262)
Type classes and monadic IO (and having a type system being able to express monads as a thing).
[ Parent | on HN ]
Re:Haskell's Children by AnimalMuppet on Wednesday September 23, 2020 @01:14PM (#24569379)
Didn't stuff in the 80s have the ability to express monads, but nobody had yet realized that they were useful?
[ Parent | on HN ]
Re:Haskell's Children by kryptiskt on Wednesday September 23, 2020 @01:41PM (#24569747)
You can express particular monads, but to have a Monad class/trait for all monads you need first class type constructors (also known as higher-kinded types), and that is not common even today.
[ Parent | on HN ]
Re:Haskell's Children by momentoftop on Wednesday September 23, 2020 @07:15PM (#24573368)
SML has always let you abstract over type-constructors using modules, and it was always routine to do so. You can express monads abstractly in this way, and some people have (Ocaml, but the SML is the same modulo syntax):

http://batteries.forge.ocamlcore.org/doc.preview:batteries-b...

But the sort of code you would write in Haskell gets very noisy without typeclasses, and it's just not an obviously good way to program in a language that's intended to be impure and strict.

[ Parent | on HN ]