From: "Gregory Morrisett" <jgm@cs.cornell.edu>
To: "Daniel de Rauglaudre" <daniel.de_rauglaudre@inria.fr>,
<caml-list@inria.fr>
Subject: RE: [Caml-list] SML syntax with O'Caml
Date: Wed, 2 Jan 2002 23:18:57 -0500 [thread overview]
Message-ID: <706871B20764CD449DB0E8E3D81C4D4301EE6C88@opus.cs.cornell.edu> (raw)
>The standard? Pfff... let me laugh. The term "standard" in SML is just
>a marketing term. SML is not more *a* standard than OCaml.
I beg to differ. There are a number of implementations
of Standard ML from different "vendors" (e.g., SML/NJ, PolyML,
MLKit, MoscowML, MLton, etc.) In addition, there are books
describing the standard language and library. The former is
relatively formal when compared to most language definitions.
In contrast, Ocaml is implemented by one group and has no
"definition". Rather, the implementation largely defines
the language.
I do not say these things with any implied judgment that
one approach is better than the other. But I do believe
that "standard" is more than a marketing term for SML.
-Greg
-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
next reply other threads:[~2002-01-03 4:19 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2002-01-03 4:18 Gregory Morrisett [this message]
-- strict thread matches above, loose matches on Subject: below --
2001-12-31 21:26 Alec
2001-12-31 21:45 ` Daniel de Rauglaudre
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=706871B20764CD449DB0E8E3D81C4D4301EE6C88@opus.cs.cornell.edu \
--to=jgm@cs.cornell.edu \
--cc=caml-list@inria.fr \
--cc=daniel.de_rauglaudre@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