3 ms·
It's no longer monadic in the presence of a pervasive `null` value. Such is the power of null - it breaks abstractions that have nothing to do with it.
by catnaroek 9y ago
It's no longer monadic in the presence of a pervasive `null` value. Such is the power of null - it breaks abstractions that have nothing to do with it.
- sjrd 9y agoIt is monadic if the monad laws about it hold. `null` has nothing to do with it. In the context of my unboxed option, `null` is like `5`: one of many primitive values, uninterpreted by the abstraction, and therefore it does not break the abstraction. If you think my unboxed option is not monadic, please provide a counter-example to one of the monad laws.
- deleted 9y ago[deleted]