Subject: Re: [boost] Monad (was: Re: [Boost-users] [afio] Formal review of Boost.AFIO)
From: Giovanni Piero Deretta (gpderetta_at_[hidden])
Date: 2015-08-29 07:54:02
On 29 Aug 2015 3:07 am, "Niall Douglas" <s_sourceforge_at_[hidden]> wrote:
> On 28 Aug 2015 at 12:02, Giovanni Piero Deretta wrote:
> > > > 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."
> I'm not seeing what the problem is here. It is as I described.
How can it be both a "framework for creating bespoke monads" and at the
same time " not a full monadic solution". I either can create a monad - any
monad - with it or not.
> > Also what's the rust monad you are referring to?
> Search google for the Rust programming language and Option<T> and
Those aren't in any way rust monad. They are specific implementations of a
monad concept, which incidentally can't be encoded yet as a rust Trait as
Rust doesn't have yet a type system powerful enough.
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk