@wycats and even then, it's a pretty bad explanation of, say, Maybe.
-
-
Replying to @bitemyapp
@wycats Maybe itself deals with the concept of Nothingness, Monad is just a convenient interface over the data structure.1 reply 0 retweets 0 likes -
Replying to @bitemyapp
@bitemyapp It's a possibly-nothing that is part of the type interface of your functions, instead of an implicit global protocol.1 reply 0 retweets 0 likes -
Replying to @bitemyapp
@wycats and I doubt you mean the church-encoding, so...1 reply 0 retweets 0 likes -
Replying to @bitemyapp
@bitemyapp null is a global protocol. Maybe is local.1 reply 0 retweets 0 likes -
Replying to @bitemyapp
@bitemyapp in languages with null, all values can be "null", which makes null a global protocol. In langs with Maybe, it's a local question1 reply 0 retweets 0 likes -
Replying to @bitemyapp
@bitemyapp Monad lets you take questions like that and eliminate them for the purpose of computation.2 replies 0 retweets 0 likes
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.