|
Bloody posted:What's a monad? It's way of introducing state and contextual data in a functional program without breaking referential transparency, i.e. the compiler can still be safe in knowing that "f(2)" will do the same thing everywhere. Having them lets Haskell be a pure language and still have IO functions that aren't passing around a bunch of buffers everywhere, for instance. It's also a monoid in the category of endofunctors, of course.
|
# ¿ Apr 30, 2015 18:52 |
|
|
# ¿ May 3, 2024 00:40 |