User Tools

Site Tools


linuxbog:program:installation-ml
Linux – Friheden til at programmere: Version 2.5.20050330 – 2020-12-31
forrige Appendiks A. Installationsvejledninger næste

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|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/|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/|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/|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/|http://www.it-c.dk/research/mlkit/]og[http://www.smlserver.org/|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/|http://www.dcs.ed.ac.uk/~mlj/].

forrige hjem næste
KDevelop op Modula-2
linuxbog/program/installation-ml.txt · Last modified: by 127.0.0.1

Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Share Alike 4.0 International
CC Attribution-Share Alike 4.0 International Donate Powered by PHP Valid HTML5 Valid CSS Driven by DokuWiki

Brug af AI : Al tekst kán være uddrag af AI genereret tekst og kan være fejlbehæftet.
AI kan lave fejl og det kan mennesker også, men al tekst er gennemgået af et menneske for fejl, og personlig bias kan være tilføjet.