• lysdexicOPM
    link
    fedilink
    English
    arrow-up
    2
    ·
    1 year ago

    I don’t think it’s inconsistent. Optionals are monads by design. It would not make any sense to leave basic monadic operations out just because non-monadic components exist.

    If anything, C++ is missing an either/neither monad, and specializations such as a result monad.