@wycats how do you read what you're saying out of identities for bind/return and associativity?
-
-
Replying to @bitemyapp
@bitemyapp I'm assuming that we both understand what the definition of the monad type is.1 reply 0 retweets 0 likes -
Replying to @wycats
@bitemyapp You are only interested in discussing its definition. I am not.1 reply 0 retweets 0 likes -
Replying to @bitemyapp
@bitemyapp Do you simply disagree with https://wiki.haskell.org/Monad ?1 reply 0 retweets 0 likes -
Replying to @bitemyapp
@wycats again, Monad here is a convenient interface for something that has an equivalent in something that has nothing to do with encap.2 replies 0 retweets 0 likes -
Replying to @bitemyapp
@bitemyapp Is the problem that "encapsulation" is some kind of OO dirty word that you don't want me to use?1 reply 0 retweets 0 likes -
Replying to @bitemyapp
@wycats Text and ByteString are abstract datatypes. No mucking around with the underlying representation. This is encapsulation.2 replies 0 retweets 0 likes
@bitemyapp "encapsulation" is an english word. https://www.evernote.com/l/AAKOcUvOSz9ItYfffrPSSQKqjSBLsH8p4SEB/image.png … is saying what I mean. Also wrong?
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.