Boost logo

Boost :

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:
> as "".
> The documentation is available at
> in a few different formats.

Brian, I'm following the documentation links for Monads to, 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?


Dave Abrahams
Boost Consulting

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