An acronym for Meta Language (originally for the theorem prover LCF) is a class of non-lazy, statically-typed, statically-compiled, pattern-matching functional programming languages.

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++.

Pages in this topic: DML   FreshML   JoCaml   MetaML   OCAML  

Also linked from: ADATE   Alice   Bla   Bootstrap   CRML   Felix   Fox   Gont   Hello   Lambda VM   Lego   Logic   Meta-System Transition   Microkernel   Microkernel Debate   ML/OS   Moby   Needle   New Jersey Machine Code Toolkit   Pascal   PL 101   Poplog   Scheme   Type System