2018-01-23 10:52 GMT-03:00 Vinícius dos Santos Oliveira < vini.ipsmaker@gmail.com>:
value-or-error... well, if it is non-error
Let me further elaborate here. A success is a non-failure and a failure is a non-success. I guess that's the same understanding everybody has here. Now... value-or-error... if it is non-error (value)... I already assume it is success. I just don't see a difference between value-or-error and success-or-failure. Not even on the "layer level of language". I see people writing "error case" and "failure case" interchangeably. They just mean the same. The argument "value-or-error is not what we provide" could buy me if Outcome didn't carry a T on the success case, but that is not the case. -- Vinícius dos Santos Oliveira https://vinipsmaker.github.io/