Re: [boost] [next gen future-promise] What to call the monadic return type?

On May 25, 2015 7:09:57 PM EDT, Niall Douglas wrote:

On 25 May 2015 at 23:35, Vicente J. Botet Escriba wrote:

Names suggested so far are maybe, result, holder, value.

I'm still trying to understand use cases to help guide naming. However, among those choices, "result" seems best. That said, one often refers to the result of a function, so discussing a function that returns a "result" would get awkward. Perhaps "retval" would convey the idea well enough and be less awkward?

I am simply proposing subclassing monad with a thread unsafe subclass called <insert name here>. It has almost the same API as future as it shares a common code implementation.

...

...

Options are:

* result<T> sync or async result?

A result<T> has most of the future<T> API with the set APIs from promise<T>. So you might do:

result<int> v(5); assert(v.get()==5); v.set_value(6); assert(v.get()==6); v.set_exception(foo()); v.get(); // throws foo v.set_error(error_code); v.get(); // throws system_error(error_code)

Can one ask whether it contains an exception or an error_code? Can one retrieve the exception or error_code without calling get() with, say, get_exception() and get_error_code()?

...

...

* maybe<T> we have already optional, isn't it?

True. But I think a monadic transport supersets optional as it can have no value. So:

result<int> v; assert(!v.is_ready()); assert(!v.has_value()); v.get(); // throws no_state.

Here you show has_value(). Are there has_exception() and has_error_code()? ___ Rob (Sent from my portable computation engine)