smlErste Schritte mit sml


Bemerkungen

In diesem Abschnitt erhalten Sie einen Überblick darüber, was SML ist und warum ein Entwickler es verwenden möchte.

Es sollte auch alle großen Themen in sml erwähnen und auf die verwandten Themen verweisen. Da die Dokumentation für sml neu ist, müssen Sie möglicherweise erste Versionen dieser verwandten Themen erstellen.

Installation

Es gibt ein Dutzend Implementierungen von Standard ML. MLton produziert sehr optimierten Code, hat aber keine REPL . SML / NJ wird am häufigsten verwendet, hat jedoch zu Lernzwecken etwas schwierige Fehlermeldungen. Moskau ML und Poly / ML sind einfach zu beginnen, unterstützen jedoch nicht das .mlb-Paketformat. Das ist jedoch nicht wesentlich für den Einstieg.

Hier finden Sie Anweisungen zum Installieren von SML / NJ, Moscow ML und Poly / ML nach Betriebssystem.

Unter Windows

SML / NJ:

Moskau ML:

  • Gehen Sie zu http://mosml.org/ und klicken Sie auf "Download Win. Installer". Führen Sie das Installationsprogramm aus.
  • Sie haben jetzt eine REPL in z. B. C:\Program Files (x86)\mosml\bin\mosml.exe .

Homebrew unter MacOS verwenden

SML / NJ:

  • Führen Sie brew install smlnj als Ihren eigenen Benutzer aus. Testen Sie REPL mit smlnj .

Moskau ML:

  • Gehen Sie zu http://mosml.org/ und klicken Sie auf "PKG-Datei herunterladen". Führen Sie das Installationsprogramm aus.
  • Vermisst ... Test REPL wie? Ist es jetzt in $PATH ?

Unter Ubuntu / Debian Linux

SML / NJ:

  • Führen Sie sudo apt-get install smlnj als sudo apt-get install smlnj . Testen Sie REPL mit smlnj .

Moskau ML:

  • (Ubuntu) Fügen Sie den PPA als Superuser hinzu. Testen Sie REPL mit mosml .

    sudo add-apt-repository ppa:kflarsen/mosml
    sudo apt-get update
    sudo apt-get install mosml
     

Readline-Unterstützung hinzufügen

Um die Pfeiltasten verwenden zu können, um durch Zeilen zu navigieren, die zuvor in die REPL eingegeben wurden, können die meisten SML-Compiler vom Programm rlwrap . Installieren Sie dies mithilfe von Homebrew unter MacOS mithilfe von brew install rlwrap und unter Ubuntu / Debian Linux sudo apt-get install rlwrap von sudo apt-get install rlwrap . Versuchen Sie dann im Terminal Folgendes:

alias mosml='rlwrap mosml -P full'
alias sml='rlwrap sml'
alias poly='rlwrap poly'
 

Diese Aliasnamen können beispielsweise zu ~/.bashrc hinzugefügt werden, damit sie standardmäßig funktionieren.

Die Pfeiltaste sollte jetzt besser funktionieren.