@bitemyapp understanding is not binary
@bitemyapp There are literally three laws. They are tiny. Twitter is not a certified testing environment. This is silly.
-
-
@wycats how do you read what you're saying out of identities for bind/return and associativity? -
@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. - 3 more replies
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.