Re: [boost] GSoC 2014 - Functional - Monad

Subject: Re: [boost] GSoC 2014 - Functional - Monad
From: Vicente J. Botet Escriba (vicente.botet_at_[hidden])
Date: 2014-03-12 19:41:05

Le 11/03/14 19:26, Ding Xiangfei a écrit :
> Hello, Vincete,
>
>    Sorry for this delayed reply. Yes, I have learnt a subset of Javascript as
> <snip>
>
>    I have spent time carefully reading the code of the Pure library and think
> that the Pure library provides a good framework for implementation of
> monads. Here, I propose an extension to monad templates in the library to
> make monads for std::future using the then() method. I also propose monads
> containing functions as well that enables chaining of functions and
> potentially currying. The implementation may slightly differ from the Pure
> library because some parts of functors for specific categories can be moved
> inside monads to reduce compilation time on template resolution. My concern
> is that when chaining of functions is frequent, compilation time may
> increase significantly since this library relies on template heavily and
> functors are placed outside monad definitions.
>
>
Hi Ding,

its time to make a concrete proposal.

Best,
Vicente