From: Mehdi Dogguy <mehdi@dogguy.org>
To: caml users <caml-list@inria.fr>
Subject: [Caml-list] Custom let bindings
Date: Fri, 20 Jan 2012 13:39:46 +0100 [thread overview]
Message-ID: <4F196092.7060707@dogguy.org> (raw)
Hi,
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). AFAIR, I don't
remember seeing this on the caml-list. I'd personally vote for its
inclusion as I can see some uses for it. As any syntaxic sugar, it is
something we can live without but it could make things easier to read or
to express.
FTR, the proposal is to add the following:
“let.e0 p = e1 in e2” will be expanded to “e0 e1 (fun p -> e2)”.
I'm not sure which part of the proposal was not agreed on (the syntaxic
details "let.e0" or the whole proposal). Any input from the core team
would be appreciated.
What do others think about it?
Regards,
--
Mehdi Dogguy
next reply other threads:[~2012-01-20 12:40 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-01-20 12:39 Mehdi Dogguy [this message]
2012-01-20 12:47 ` Yaron Minsky
2012-01-22 10:23 ` Xavier Leroy
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=4F196092.7060707@dogguy.org \
--to=mehdi@dogguy.org \
--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