[boost] Re: Review Request: FC++

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

"Brian McNamara" <lorgon_at_[hidden]> wrote in message
news:20031021132715.GA14207_at_lennon.cc.gatech.edu...
> [...]
> 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 is...do monads let you do things
more elegantly than what Spirit does?  Because that's a
question whose answer I can get a hold on.

Dave

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