Re: [boost] Monad (was: Re: [Boost-users] [afio] Formal review of Boost.AFIO)

Subject: Re: [boost] Monad (was: Re: [Boost-users] [afio] Formal review of Boost.AFIO)
From: Giovanni Piero Deretta (gpderetta_at_[hidden])
Date: 2015-08-28 07:02:36

On 28 Aug 2015 2:14 am, "Niall Douglas" <s_sourceforge_at_[hidden]> wrote:
>
> On 27 Aug 2015 at 7:43, Giovanni Piero Deretta wrote:
>
> > >You define your policy implementations
> > > classes and feed them to basic_monad<Policy> or basic_future<Policy>
> > > as needed. The library itself provides three monad specialisations
> > > and six future specialisations by stamping out the nine policies for
> > > each of those.
> >
> > Unfortunately the documentation for the policy is literally an empty
line.
> > I have looked at the detail/monad_policy.hpp file, but beyond
customising
> > the storage, I can't see any hook to customise the behaviour.
> >
> > Could you show us a custom policy implementation for a list monad?
>
> As I mentioned earlier, it's not a full monadic programming solution
> by any stretch. Think of it as a value transporter with monadic
> extensions, very similar to the Rust Monad.
>
... You just claimed that:

"It's a framework for creating bespoke
future and monad types."

Also what's the rust monad you are referring to?

-- gpd