• 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.