"All these claims about a “design mistake”, “overfitting to the Either type” and “blindly copying Haskell” are mere assertions without any attempt at justification other than that it “feels unnatural”. It never felt unnatural to me, and why would it?" 👇 contributors.scala-lang.org/t/pre-sip-a-...
contributors.scala-lang.org
Pre-SIP: A New Type for Optionals and Error Handling (2)
I just realized that there’s actually another problem with putting the success type left and the error type right. Left-bias for ? makes things work for type classes like Functor[F[_]] or Monad[F[_]] ...