MLAn 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.
- Standard ML of New Jersey (abbreviated SML/NJ), a compiler for the Standard ML '97 outputs fast but memory-hungry binaries.
- MLton is an optimizing SML compiler that generates executables that typically run faster than those generated by SML/NJ.
- Edinburgh ML.
- Moscow ML is a lightweight SML.
- Objective CAML (aka OCAML)'s output is faster and less memory intensive than SML/NJ's. It can also output bytecode.
- CAML light. OCAML is recommended over CAML light unless working in low memory conditions.
- Poplog Standard ML (SML '90)
- The EML Kit (obsolete) aims to be (the basis and test-bed for) a comfortable framework for the formal development of programs, using the ...
- ... Extended ML a framework for specification and formal development of Standard ML (SML) programs.
- Extended Moscow ML .
- ML Kit with regions, memory management made user-accessible introducing the concept of region.
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