[Caml-list] SML syntax with O'Caml

[Caml-list] SML syntax with O'Caml

[Alec]

Hi

I understand that O'Caml performs better on benchmarks than other ML language 
family compilers, while O'Caml syntax is (probably unfortunately) different 
from the standard. Is it possible to get SML syntax with O'Caml "compiler 
engine"?

Thanks

Alec
P.S. Happy New Year!
-------------------
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

Re: [Caml-list] SML syntax with O'Caml

[Daniel de Rauglaudre]

Hi,

On Mon, Dec 31, 2001 at 04:26:46PM -0500, Alec wrote:

> I understand that O'Caml performs better on benchmarks than other ML
> language family compilers, while O'Caml syntax is (probably
> unfortunately) different from the standard.

The standard? Pfff... let me laugh. The term "standard" in SML is just
a marketing term. SML is not more *a* standard than OCaml.

> Is it possible to get SML syntax with O'Caml "compiler engine"?

You can change the syntax of OCaml using Camlp4. A syntax for SML is
provided, named pa_sml.cmo.

-- 
Daniel de RAUGLAUDRE
daniel.de_rauglaudre@inria.fr
http://cristal.inria.fr/~ddr/
-------------------
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

RE: [Caml-list] SML syntax with O'Caml

[Gregory Morrisett]

>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