Boost logo

Boost :

From: David B. Held (dheld_at_[hidden])
Date: 2003-10-24 04:04:01

"Brian McNamara" <lorgon_at_[hidden]> wrote in message
> [...]
> Probably the best motivating examples I know of are in
> Wadler's "Monads for functional programming", available
> at

It seems to me that the primary motivation for monads is to
solve problems that are "features" of FP languages (like
purity, etc.). Since C++ doesn't have most of those "features",
that may be why their utility isn't so obvious to me. I haven't
finished reading the paper yet, though, so I might change
my mind.

> [...]
> If we want to motivate monads in C++, it should be with
> examples where structuring the program monadically
> creates a winning generic design.
> (Monadic parser combinators are perhaps a good example,
> but they're also a big example, and it'll be a while before I
> have anything to show in this domain.)

Well, what I want to know monads let you do things
more elegantly than what Spirit does? Because that's a
question whose answer I can get a hold on.


Outgoing mail is certified Virus Free.
Checked by AVG anti-virus system (
Version: 6.0.521 / Virus Database: 319 - Release Date: 9/23/2003

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