From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id FAA11378; Thu, 3 Jan 2002 05:19:00 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id FAA11222 for ; Thu, 3 Jan 2002 05:18:59 +0100 (MET) Received: from exchange.cs.cornell.edu (exchange.cs.cornell.edu [128.84.97.8]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id g034IwT17311; Thu, 3 Jan 2002 05:18:58 +0100 (MET) content-class: urn:content-classes:message Subject: RE: [Caml-list] SML syntax with O'Caml MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Date: Wed, 2 Jan 2002 23:18:57 -0500 X-MimeOLE: Produced By Microsoft Exchange V6.0.5762.3 Message-ID: <706871B20764CD449DB0E8E3D81C4D4301EE6C88@opus.cs.cornell.edu> Thread-Topic: [Caml-list] SML syntax with O'Caml Thread-Index: AcGSRMMQXWJBYQU+TgKmdnh2MsqQgQBx6DdA From: "Gregory Morrisett" To: "Daniel de Rauglaudre" , Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk >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=20 describing the standard language and library. The former is=20 relatively formal when compared to most language definitions. =20 In contrast, Ocaml is implemented by one group and has no "definition". Rather, the implementation largely defines=20 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