|
|
|
|
|
|
by dragonwriter
2958 days ago
|
|
|
> 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. |
|
|
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.