undefined | Better HN

0 pointsdragonwriter7y ago0 comments

> Haskell-style types aren't a prerequisite for functional programming.

Sure.

> Lisp and Elixir are dynamically-typed, which is why you don't see monads in those.

More to the point, Lisp and Elixir are impure functional languages, which is why you don't have some pure construct, like monads, that isolates IO.

0 comments

dllthomas7y ago

> you don't have some pure construct, like monads, that isolates IO

In Haskell IO is isolated, and then the Monad interface is used for some particularly important ways of interacting with values of that type. That's not quite the same thing as "monads isolate IO" - the Monad interface is useful for quite a few other types of values.

j / k navigate · click thread line to collapse