ML (originally the Meta Language for the theorem prover LCF) is a class
of statically typed functional languages.

ML comes in two traditions: SML 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>
<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>
<LI><A HREF="http://caml.inria.fr/ocaml/">Objective CAML</A> output is faster and less memory intensive than SML/NJ's. Also
outputs bytecode</LI>
<LI><A HREF="http://caml.inria.fr/distrib-caml-light-eng.html">CAML light</A></LI>
<LI>OCAML is recommended over CAML light unless working in low memory
conditions</LI>
</UL>