jcast at ou.edu
Tue Jul 3 11:57:00 EDT 2007
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?!?):
with links to (non-existent) pages on functors and monads; I filled in
skeleton functor and monad pages
including everything in my email but not in the category or natural
More information about the Haskell-Cafe