@wycats there are, however, explanations that do and do not nudge towards a clear understanding. Your description does not.
@bitemyapp I'm assuming that we both understand what the definition of the monad type is.
-
-
@bitemyapp You are only interested in discussing its definition. I am not. -
@wycats Haskellers discuss things outside strict definitions too. They just usually make fewer mistakes in the process. -
@bitemyapp Do you simply disagree with https://wiki.haskell.org/Monad ? -
@wycats encapsulation occurs once in a link regarding ST, and the phantom type variable is doing the heavy-lifting there, not Monad. -
@bitemyapp "This lends monads to ..." -
@wycats it's not a great bit of prose, no, particularly as the IO Monad doesn't really do anything. -
@wycats but thank you for bringing it to my attention. I will fix it :) -
@bitemyapp I see; the definition of "monad" on the Haskell wiki is "wrong" because it talks about application... - 1 more reply
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.