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.
A value is a value. An error is an error. The meaning of each is weaker than success or failure. The latter imply *interpretation*, the former are simply values.
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.
Outcome interprets value and error for you according to the rules you program it with. Hence the choice of the terms success-or-failure. Niall -- ned Productions Limited Consulting http://www.nedproductions.biz/ http://ie.linkedin.com/in/nialldouglas/