@wycats hrm, no, that's not my claim and that's not what's in the book.
@bitemyapp It's a possibly-nothing that is part of the type interface of your functions, instead of an implicit global protocol.
-
-
@wycats hum, the possibly nothing bit is in the datatype, not the interface. data Maybe a = Nothing | Just a -
@wycats and I doubt you mean the church-encoding, so... -
@bitemyapp null is a global protocol. Maybe is local. -
@wycats null is a un-value'ish value, Maybe is a data structure that bears values or possibly nothing at all. -
@bitemyapp in languages with null, all values can be "null", which makes null a global protocol. In langs with Maybe, it's a local question -
@wycats (still nothing to do with Monad tho) -
@bitemyapp Monad lets you take questions like that and eliminate them for the purpose of computation. -
@bitemyapp Including very generic computation.
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.