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 "fcpp.zip".
> The documentation is available at
> 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?
-- Dave Abrahams Boost Consulting www.boost-consulting.com
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk