|
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
|
|
|
|
| # ¿ Apr 29, 2024 06:12 |
|