Boost logo

Boost :

Subject: Re: [boost] [Boost-users] [afio] Formal review of Boost.AFIO
From: Robert Ramey (ramey_at_[hidden])
Date: 2015-08-24 13:21:21

On 8/24/15 9:59 AM, Sam Kellett wrote:
> so taking
> the word monad and the namespace boost::monad seems to be a bit scary when
> in the future they could be used for a totally generic full fat haskell
> type monad in c++ as you say.

I have personal experience with this problem. As I mentioned before,
when I made the boost serialization library. I included things like
state_saver, singleton, etc in the boost namespace. No one objected
through two reviews - but I eventually caught hell for this and ended up
moving to the namespace boost::serialization. (boost was a rougher
environment in those days). Seems to be an implicit but long running
consensus that only those components which have passed formal review
should be inserted directly into the boost namespace. I would agree
with this idea.

I raised a few concerns about the "monad" "library" when it was first
discussed on the list and never really bought into it as a boost library
(as constituted) and don't think it should be included now. Though I'm
skeptical of Niall's monad, I've got not complaint if Nail want's to
make boost::afio::monad and later try to get it "promoted" to
boost::monad. Doing this would demote Niall's monad to the status of
implementation detail or private API and hence wouldn't irrevocably
occupy any coveted territory. It would also make the review of AFIO
much easier and more likely to pass. It would also be an easy change
for Niall to (promise to) make.

Robert Ramey

Boost list run by bdawes at, gregod at, cpdaniel at, john at