On Tuesday 03 July 2007, you wrote:
On Mon, 2 Jul 2007, Jonathan Cast wrote:
On Monday 02 July 2007, Andrew Coppin wrote:
What were monads like before they became a Haskell language construct?
Is Haskell's idea of a "monad" actually anywhere close to the original mathematical formalism?
Just being randomly curiose...
Curiosity can be a dangerous thing . . .
Short answer: they're equivalent, or rather, Haskell monads are equivalent to what Haskellers would naturally write when translating mathematical monads into Haskell. ...
How about preserving that mail in a HaskellWiki article?
Done. The wiki already has pages on categories and natural transformations (but not functors?!?): http://haskell.org/haskellwiki/Category_theory http://haskell.org/haskellwiki/Category_theory/Natural_transformation with links to (non-existent) pages on functors and monads; I filled in skeleton functor and monad pages http://haskell.org/haskellwiki/Category_theory/Functor http://haskell.org/haskellwiki/Category_theory/Monads including everything in my email but not in the category or natural transformation pages. Jonathan Cast http://sourceforge.net/projects/fid-core http://sourceforge.net/projects/fid-emacs