Sml Programming Language

Implementations

• MLton is a whole-program optimizing compiler that produces extremely fast code compared to other ML implementations. http://www.mlton.org

• Moscow ML is a light-weight implementation, based on the CAML Light runtime engine. It implements the full SML language, including SML Modules, and much of the SML Basis Library. http://www.dina.kvl.dk/~sestoft/mosml.html

• Poly/ML is a full implementation of Standard ML. http://www.polyml.org/

• Standard ML of New Jersey (abbreviated SML/NJ) is a full compiler, with associated libraries, tools, an interactive shell, and documentation. http://www.smlnj.org/

• SML2c is a batch compiler and compiles only module-level declarations (i.e. signatures, structures and functors) into C. Based on SML/NJ version 0.67 and shares front end and most of its run-time system, but does not support SML/NJ style debugging and profiling. Module-level programs that run on SML/NJ can be compiled by sml2c without any changes.

See also

• Ocaml
• Extended ML
• EML
• Dependent ML

References

• R. Milner, M. Tofte, R. Harper and D. MacQueen. The Definition of Standard ML (Revised). ISBN 0262631814.

<< Previous Word Browser Next >>
national medal of science atmel avr new orleans pelicans mouride great white fleet miss piggy krewe du vieux list of group theory topics muslim brotherhoods of senegal rta abarimon	adimurti agastya ahalya ahi alakapuri kubera ambika amitabha ammavaru amrita anala	vasu apa anila dhara jerry herman millipede millipede (game) venevisin divo vctor ral haya de la torre legendre polynomials	the wild, the innocent and the e street shuffle list of chinese people kama (hinduism) anantesa andhaka angiris annapurna anumati avatar anuradha deep fritz