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