[boost] Re: Review Request: FC++

From: David Abrahams (dave_at_[hidden])
Date: 2003-10-17 15:55:12

Brian McNamara <lorgon_at_[hidden]> writes:

> I would like to request a formal review of FC++.  I have put the library
> source in the YahooGroups files:
>    http://groups.yahoo.com/group/boost/files/
> as "fcpp.zip".
>
> The documentation is available at
>    http://www.cc.gatech.edu/~yannis/fc++/boostpaper/
> in a few different formats.

Brian, I'm following the documentation links for Monads to
http://www.cc.gatech.edu/~yannis/fc++/fcpp-lambda.pdf, and reading
along... I arrive at:

class Monad m where
    bind :: m a -> ( a -> m b ) -> m b
    unit :: a -> m a

And note that you haven't introduced the syntax 'm a' anywhere.  I
understand that to be function invocation in other contexts (without
help from the paper which it should probably give), but I don't
understand how to read it here.

Can you help?

Thanks,
-- 
Dave Abrahams
Boost Consulting
www.boost-consulting.com