3 ms·
No comments, because no one understand these (At least, I don't).
by jitl 6y ago
No comments, because no one understand these (At least, I don't).
- k__ 6y agoHaskellers are asleep, let's post impure functions! function() {console.log(Math.random())}
- tempodox 6y agoBlasphemy!
- quchen 6y ago:: IO ()
- still_grokking 6y agoThat's not a function. That's a procedure.
- k__ 6y agoHaha, impure function go brrr
- yccs27 6y agoIt seems like understanding the exotic monads themselves is not the point. To me, that page mostly shows that monad laws allow some weird Monad instances on the same data structure. The only exotic monad which was intuitive to me was GlobalFailure, which interprets lists as "Maybe NonEmpty": An empty list signifies failure and aborts the whole computation, while non-empty lists behave as normal.