From: Jan Skibinski <jans@numeric-quest.com>
To: "Frank A. Christoph" <christo@nextsolution.co.jp>
Cc: CAML Mailing list <caml-list@inria.fr>
Subject: RE: A propos de monad/About monads
Date: Mon, 4 Oct 1999 16:20:46 -0500 (CDT) [thread overview]
Message-ID: <Pine.LNX.3.95.991004160124.14162A-100000@info.numeric-quest.com> (raw)
In-Reply-To: <000101bf0e77$470d1500$0150ebca@nextsolution.co.jp>
On Mon, 4 Oct 1999, Frank A. Christoph wrote:
> 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.
>
> --FAC
>
As a practitioner of monads you may find this Leibnitz's
statement interesting:
"Monads have no windows by which anything goes in or out"
Did he predict monadic IO here? :-)
There are few statements in his "Monadologia" that may
explain the reasons why the name "monad" was borrowed by the
category theory.
Generally, what he wrote about monads might seem laughable
to us now, but I have some respect to his other philosophical
thoughts, particularly about time and space (isotropic,
anisotropic, absolute, relative?). Modern physics considers such
questions relevant.
I also vaguely remember some old text (arabic?) which mentions
monads as well. The concept of monads might have been much older
than we think.
Jan
next prev parent reply other threads:[~1999-10-05 8:14 UTC|newest]
Thread overview: 9+ messages / expand[flat|nested] mbox.gz Atom feed top
1999-09-30 16:24 A propos de monad Stéphane Baubillier
1999-10-01 7:17 ` David Gross
1999-10-01 9:26 ` A propos de monad/About monads David Mentr'e
1999-10-02 18:10 ` David Brown
1999-10-04 8:40 ` Frank A. Christoph
1999-10-04 14:46 ` Frank A. Christoph
1999-10-04 21:20 ` Jan Skibinski [this message]
1999-10-04 18:55 ` John Prevost
1999-10-05 5:48 ` Frank A. Christoph
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=Pine.LNX.3.95.991004160124.14162A-100000@info.numeric-quest.com \
--to=jans@numeric-quest.com \
--cc=caml-list@inria.fr \
--cc=christo@nextsolution.co.jp \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox