8 Jan
2011
8 Jan
'11
5:07 p.m.
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Thanks guys for all the solutions. A slight correction below. On 09/01/11 03:54, David Menendez wrote:
Naturally, if you also have pure and fmap, you also have a monad.
You have a pointed functor but not necessarily a monad. There are many pointed functors that are not monads. The paper, Applicative Programming with Effects (McBride, Paterson) lists a couple. - -- Tony Morris http://tmorris.net/ -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/ iEYEARECAAYFAk0o4AgACgkQmnpgrYe6r62z4wCgk4A1njS5lLH3RHtxfnIkVGTL t3sAoKNm7HjVQyk/Gb1AL5LxahRHPmKN =5D4j -----END PGP SIGNATURE-----