[Haskell-cafe] Before

[Jonathan Cast]

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