3 ms·
Yes. (For example, ML, being impure, does not need this.)
by Koshkin 6y ago
Yes. (For example, ML, being impure, does not need this.)
- dependenttypes 6y agoHaskell only "needs" monads for IO (there are other alternatives to implement io in a pure language too though). The reason that they are popular in haskell is that they are convenient and the reason that they are not popular in ML is that it lacks higher order types and things like typeclasses.