Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
A propos de monad
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 1999-10-04 (17:57)
From: Frank A. Christoph <christo@n...>
Subject: RE: A propos de monad/About monads
I wrote:
> Philippe Esperet wrote:
> > 	``monad'' est le mot anglais correspondant ?<< monade >>, entit?
> > complexe intervenant dans le syst?e philosophique de Leibniz (Monade
> > en allemand).
> I don't understand French, but I parsed this as saying that monads in the
> sense used here have something to do with Leibniz's philosophical
> theory of monads, which is false.

Toby Moth has informed me (and given a semi-mystical exposition involving
the Holy Trinity :) of another notion of "monad" hailing from non-standard
real analysis, due to the logician Robinson, and in this case it appears
that the term was in fact derived from Leibniz's ideas. These monads of
course have nothing to do with the ones from category theory, which are the
ones relevant for denotational semantics and functional programming.