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?
I should not that doing this makes the monad-free web particularly hilarious . . . http://saxophone.jpberlin.de/MonadTransformer?source=http%3A%2F%2Fwww%2Ehaskell%2Eorg%2Fhaskellwiki%2FCategory%5Ftheory%2FMonads&language=English -- Sincerely, Jonathan Cast Computer Programmer http://sourceforge.net/projects/fid-core http://sourceforge.net/projects/fid-emacs