From: "David Mentr'e" <David.Mentre@irisa.fr>
To: "Stéphane Baubillier" <stephane.baubillier@pactenovation.fr>
Cc: "CAML Mailing list" <caml-list@inria.fr>
Subject: Re: A propos de monad/About monads
Date: 01 Oct 1999 11:26:48 +0200 [thread overview]
Message-ID: <wd8n1u3v3c7.fsf@parate.irisa.fr> (raw)
In-Reply-To: "=?iso-8859-1?q?Stéphane?= Baubillier"'s message of "Thu, 30 Sep 1999 18:24:03 +0200"
[ English (executive summary ;) ]
Monads are a way to encapsulate side-effects in functionnal
languages. Does anyboody have a more detailed explaination about how
monads really work ? What is the difference between the usual let and
the monad binding ?
[ Français ]
"Stéphane Baubillier" <stephane.baubillier@pactenovation.fr> writes:
> Quelqu'un aurait-il une traduction de 'monad'
? monade ? (c'est au moins dans le dico)
> et des info sur les causes (et raisons) de son existance.
C'est un mécansime pour encapsuler les effets de bord dans un formalisme
fonctionnel. Pour résumer très grossièrement, une fonction ne doit
dépendre que de ses entrées. Donc pour que les effets de bord puissent
être pris en compte, on passe en argument de la fonction un « monde »,
qu'elle rend modifié. Ce monde comprend le résultat de la fonction, plus
tous les effets de bords potentiels (exception, ...).
Donc les monades sont un type abstrait de donné. De plus, ce type
abstrait doit avoir certaines caractéristiques : un opérateur de liage
(/binding/) et un élément neutre (/unit/) et des lois sur la composition
de ces éléments. Il se trouve que ces lois correspondent aux
caractéristiques des monades en mathématiques, d'où le nom.
Un dernier point, il semble que l'opérateur de liage/binding permet de
séquentialiser les opérations. D'où maintenant ma question : quelle est
la différence entre un binding de monade et un let plus classique ?
Quelques articles de référence sur les monades :
http://cm.bell-labs.com/cm/cs/who/wadler/topics/monads.html
Philip Wadler semble un des gourous du domaine. Il a notamment
popularisé son usage dans Haskell (cf. haskell.org pour plus d'infos sur
ce langage).
Mon explication est très sommaire. Je n'ai jamais réussi à réellement
bien comprendre quelle était la caractéristique exacte, précise, des
monades. Quelqu'un possède-t-il une explication plus détaillée sur le
comment et le pourquoi (notamment lien et différence entre let classique
et binding de monade)?
Amicalement,
d.
--
David.Mentre@irisa.fr -- http://www.irisa.fr/prive/dmentre/
Opinions expressed here are only mine.
next prev parent reply other threads:[~1999-10-02 17:50 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 ` David Mentr'e [this message]
1999-10-02 18:10 ` A propos de monad/About monads 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
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=wd8n1u3v3c7.fsf@parate.irisa.fr \
--to=david.mentre@irisa.fr \
--cc=caml-list@inria.fr \
--cc=stephane.baubillier@pactenovation.fr \
/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