Re: [boost] [thread, async] Mini design review requested for a generic extensible Boost monadic continuations framework

Subject: Re: [boost] [thread, async] Mini design review requested for a generic extensible Boost monadic continuations framework
From: Vicente J. Botet Escriba (vicente.botet_at_[hidden])
Date: 2014-03-09 05:36:29

Le 05/03/14 18:49, Niall Douglas a écrit :
> On 5 Mar 2014 at 13:54, Vicente J. Botet Escriba wrote:
>
>> I think that you must define your own monad state that could be seen as
>> any other monad using the functional/monads framework.
> Once your Boost.Functional/Monads framework is available, more than
> happy to do so. I hate writing and particularly maintaining
> boilerplate.
>
>>> Thoughts regarding the design much appreciated! My thanks in advance.
>>>
>> I will inspect your code in order to see if I've understood your needs
>> as soon as I have enough time.
>
Hi,

I have not taken the time to inspect your code. However I have started 
my POC of the Boost.Functional/Monads framework in [1].

I have just configured boost::expected<T,E> in an example of use [2] and 
I will extract the expected configuration soon to a specific file 
expected_monad.hpp.

Please could you take a look at these files and see if you can configure 
your thenable (Monad state)? I suspect that there will be some of your 
needs that I have not covered yet.

The design is based on [3] and [4].

Sorry for the very draft state of the code :(

Best,
Vicente

[1] 
https://github.com/ptal/Boost.Expected/blob/master/boost/functional/monad.hpp
[2] 
https://github.com/ptal/Boost.Expected/blob/master/libs/expected/test/safe_divide_monad.cpp
[3] http://yapb-soc.blogspot.fr/2012/10/monads-in-c.html
[4] http://yapb-soc.blogspot.fr/2012/10/fmap-in-c.html