From: Diego Olivier Fernandez Pons <dofp.ocaml@gmail.com>
To: Gabriel Scherer <gabriel.scherer@gmail.com>
Cc: caml-list <caml-list@inria.fr>
Subject: Re: [Caml-list] "Let"-less syntax for coreML
Date: Wed, 4 Jan 2012 11:05:11 +0100 [thread overview]
Message-ID: <CAHqiZ-+ZJaRaq61FWRU9zi8fm=+LxoWQ=tX-S23yGaQKXm8ejg@mail.gmail.com> (raw)
In-Reply-To: <CAPFanBFZOcAhRWbuwO5p0JkdRP7n234T4OufAAwaAMceCc4n8g@mail.gmail.com>
[-- Attachment #1: Type: text/plain, Size: 1674 bytes --]
Gabriel,
> I feel I am missing some background. What is this "coreML"
Typed lambda calculus with typical sugar
http://caml.inria.fr/pub/docs/u3-ocaml/ocaml-ml.html and common basis
(intersection) of all ML languages (SML, OCaml, F#, Haskell)
> and what is the point of making subtle syntactic changes to it?
>
I agree with Don Syme that the syntax of MLs could be simplified to make
them easier for the masses but I don't like the indentation for block
delimitation rule (Landin's off-side rule) he uses in F# to remove the
"begin / end" and the "let ... in" constructions. Not saying it is ever
going to happen but it is worth thinking about it and maybe giving a try on
my side.
The underlying question is "how to make ML mainstream" which is what the
(broad) ML community has been trying to do for decades with limited
success. Among other things we have tried
- standards (SML, Haskell 98) with multiple implementations
- optimizing compilers (OCaml, MLTon)
- education (first language, data structures, books)
- (killer) applications
- popular virtual machines (Java, CLR) to reuse their code base
- web (Caml as browser extension language in MMM, Caml to JavaScript
compilation)
and many more
Agreed that many of these were successful research projects, not
specifically meant to take over the world (of programming languages).
The result is two folds
- a technical success : check the code written by the INRIA teams, almost
everyone uses Caml but those with very specific needs (Java rewriting
systems, Prolog, high performance Grobner basis, etc).
- a mainstream failure : limited industrial usage besides a couple of
companies
Diego Olivier
[-- Attachment #2: Type: text/html, Size: 2326 bytes --]
next prev parent reply other threads:[~2012-01-04 10:05 UTC|newest]
Thread overview: 14+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-01-03 18:43 Diego Olivier Fernandez Pons
2012-01-03 19:09 ` Alan Schmitt
2012-01-03 19:12 ` Wojciech Meyer
2012-01-03 22:18 ` Diego Olivier Fernandez Pons
2012-01-03 22:34 ` Gabriel Scherer
2012-01-04 10:05 ` Diego Olivier Fernandez Pons [this message]
2012-01-04 10:57 ` Pierre-Alexandre Voye
2012-01-04 11:08 ` Andrej Bauer
2012-01-04 11:06 ` Daniel Bünzli
2012-01-04 12:18 ` Yaron Minsky
2012-01-04 13:30 ` Diego Olivier Fernandez Pons
2012-01-04 15:50 ` Edgar Friendly
2012-01-04 17:12 ` Damien Doligez
2012-01-04 16:59 ` Markus Mottl
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='CAHqiZ-+ZJaRaq61FWRU9zi8fm=+LxoWQ=tX-S23yGaQKXm8ejg@mail.gmail.com' \
--to=dofp.ocaml@gmail.com \
--cc=caml-list@inria.fr \
--cc=gabriel.scherer@gmail.com \
/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;
as well as URLs for NNTP newsgroup(s).