tool: Moscow ML

---

Language:	Standard ML
Version:	1.30
Parts:	bytecode compiler, runtime, libraries, documentation
Author:	Sergei Romanenko <sergei-romanenko@refal.msk.su>
Location:	ftp://ftp.dina.kvl.dk/pub/mosml/
Description:	Moscow SML provides a light-weight implementation of the Standard ML Core language, a strict functional language widely used in teaching and research. Moscow SML is particularly suitable for teaching and experimentation, where fast compilation and modest storage consumption are more important than fast program execution. Thanks to the efficient run-time system of Caml Light, Moscow SML compiles fast and uses little memory. Typically it uses 5-10 times less memory than SML/NJ and 2-3 times less than Edinburgh ML. Yet the bytecode is only 3 to 12 times slower than SML/NJ 0.93 compiled native code (fast on PCs, slower on RISCs). Moscow SML implements arithmetic exceptions, and thus deals with the entire Core language.
Requires:	Caml Light 0.61
Ports:	anything Caml Light supports
Updated:	September 30th, 1994

language: Standard ML

category: functional languages summary, or expanded.