1: You know how people think the Ruby stdlib convention of `!` for mutation conflicts with the Rails convention of `!` for exceptions?
-
-
They think they don't want it to be hard and then write shit like this: https://wiki.haskell.org/All_About_Monads#Why_should_I_make_the_effort_to_understand_monads.3F … Which betrays their mind.
-
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 -
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.