1: You know how people think the Ruby stdlib convention of `!` for mutation conflicts with the Rails convention of `!` for exceptions?
-
-
The state of monad education in Haskell is... extremely not great. We still haven't been able to improve much on http://homepages.inf.ed.ac.uk/wadler/papers/marktoberdorf/baastad.pdf …
-
Then again, that original paper by Wadler is very approachable for a CS paper about abstract nonsense.
-
Part of the issue is that the abstract description doesn't really match the implementation of common monads like state.
-
How does it not match?
-
You have to think very abstractly about monadic values being functions. It's now how the basic description of monads implies it would work.
-
For clarity: I don't need you to teach me how the state Monad works ;)
End of conversation
New conversation -
-
-
is the maybe monad actually just the same thing as c++ (or any typed oo lang) reference? which can be either some value or NULL?
-
No. It is a tagged union, so you always know whether it contains a value.
-
For something closer to monads in C++17, see std::future and for an explanation, seehttps://bartoszmilewski.com/2014/02/26/c17-i-see-a-monad-in-your-future/ …
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.