ML (originally the Meta Language for the theorem prover LCF) is a class
of statically typed *(functional) *(programming language)s.

ML comes in two traditions: Standard ML and CAML. Both have very efficient (on
par with or faster than C++) implementations (in particular, SML/NJ and
OCAML). OCAML has a cleaner module system than SML, as well as an object
system.

Are you looking for a possible alternative to _(C++)? OCAML just might be
your language. In particular, it is very efficient, but it's not as
poorly designed as _(C++).
<BR>--_(seaslug)

<UL CLASS="links">
<LI><A HREF="http://www.faqs.org/faqs/meta-lang-faq/">ML FAQ</a></li>
<LI><A HREF="http://caml.inria.fr/">CAML WWW Page</a></li>
<LI><A HREF="http://pauillac.inria.fr/para/cdrom/prog/unix/efuns/eng.htm">Efuns/GwML</a></li>
<LI><A HREF="http://pauillac.inria.fr/para/cdrom/prog/unix/efuns/fra.htm">French Efuns</a>, an OCAML based replacement for emacs, and GwML, an X11
window manager also written in OCAML</li>
<LI><A HREF="http://www.dcs.napier.ac.uk/course-notes/sml/manual.html">SML Docs</a></li>
<LI><A HREF="http://tunes.org/Review/OSes.html#Fox">Fox</a> an SML based OS</li>
</ul>

<UL CLASS="implementations">
<LI><A HREF="http://cm.bell-labs.com/cm/cs/what/smlnj/index.html">SML/NJ</a> outputs fast but memory-hungry binaries.
<LI><A HREF="http://www.dcs.ed.ac.uk/home/edml/">Edinburgh ML</a></li>
<LI><A HREF="http://www.dina.kvl.dk/~sestoft/mosml.html">Moscow ML</a> is a lightweight SML.
<LI>_(Objective CAML|OCAML)'s output is faster and less memory intensive than SML/NJ's. It can also output bytecode.</li>
<LI><A HREF="http://caml.inria.fr/distrib-caml-light-eng.html">CAML light</a>
<LI>_(OCAML) is recommended over CAML light unless working in low memory
conditions.
</ul>