Niall Douglas wrote:
The idea, since we no longer have variant storage, is to see if we'd like
to implement
http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2016/p0262r0.html
(except with the parameter order reversed).
I'm not particularly enthusiastic about status_value (and the argument given
in the paper is unconvincing.) Neither am I thrilled by the idea of
result (an optional) or result (something like a
glorified pair.)
result in its original form represented a very clear concept: the
type of a function that must either return a value, or a reason for the lack
of value. All of the above do not fit this concept and to me ring hollow.
The fact that for outcome we may want to have both an
EC and an exception_ptr does not necessarily mean that we need to give up on
the Either( Value, Reason ). In outcome's case, the reason is just more
elaborate.
