A.13. ML

For at komme i gang med at programmere i ML på Linux skal du installere en af de frie implementationer af Standard ML. Der er et meget stort udvalg at vælge imellem, blandt andre:

• Moscow ML (udviklet i Cambridge, København og Moskva). Interaktivt system plus batch-oversætter. Genererer bytekode, ikke maskinkode. Se http://www.dina.kvl.dk/~sestoft/mosml.html.

• Standard ML of New Jersey (udviklet på Bell Labs og Princeton i New Jersey, USA). Interaktivt system plus batch-oversætter. Genererer maskinkode. Se http://www.smlnj.org/.

• MLton (oprindelig udviklet ved NEC Research, New Jersey, USA). Kun batch-oversætter. Genererer C-kode som så oversættes til maskinkode. Se http://www.sourcelight.com/MLton/.

• Poly/ML (udviklet i Edinburgh og Cambridge). Interaktivt system plus batch-oversætter. Genererer maskinkode. Se http://www.polyml.org/.

• ML Kit (udviklet i København). Kun batch-oversætter. Genererer bytekode eller maskinkode. På basis af ML Kit er der udviklet en særlig effektiv ???. Se http://www.it-c.dk/research/mlkit/ og http://www.smlserver.org/.

• MLj (udviklet i Cambridge og Edinburgh). Kun batch-oversætter. Genererer Java-bytekode. Se http://www.dcs.ed.ac.uk/~mlj/.