From: Xavier Leroy <Xavier.Leroy@inria.fr>
To: caml-list@inria.fr
Subject: Re: [Caml-list] Custom let bindings
Date: Sun, 22 Jan 2012 11:23:45 +0100 [thread overview]
Message-ID: <4F1BE3B1.3040704@inria.fr> (raw)
In-Reply-To: <4F196092.7060707@dogguy.org>
On 01/20/2012 01:39 PM, Mehdi Dogguy wrote:
> I noticed that Alain Frisch tried to add custom let bindings (see r11894
> and r11906) but it was reverted later on (see r11960) because no
> consensus was reached (among OCaml Core team, I guess).
Yes. We Caml developers spent a lot of time arguing about the merits and
demerits of various syntaxes for monadic lets and other forms of
generalized let bindings, discussing usability, generality, etc.
There were some unexpected surprises, e.g. Lwt's concurrency monad
needing a special monadic "let ... and ... in ..." binding, which
makes sense for this particular monad but not for others.
In the end, we decided that none of the proposals is something we can
commit on and put (forever) in the core language. This is one of the
cases that is currently best handled by Camlp4 syntax extensions,
either specific to a monad (Lwt) or more general (pa_monad).
Regards,
- Xavier Leroy
next prev parent reply other threads:[~2012-01-22 10:23 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-01-20 12:39 Mehdi Dogguy
2012-01-20 12:47 ` Yaron Minsky
2012-01-22 10:23 ` Xavier Leroy [this message]
2012-01-22 10:43 ` Jonathan Protzenko
2012-01-22 12:18 ` ivan chollet
2012-01-22 15:18 ` Jacques Carette
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=4F1BE3B1.3040704@inria.fr \
--to=xavier.leroy@inria.fr \
--cc=caml-list@inria.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