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 _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe