Ich möchte ML lernen und verwenden, aber es gibt viele Compiler. Ich brauche:
Geschwindigkeit
geringer Speicherverbrauch
threading
veränderbare Arrays und Datensatztypen
Fortsetzungen
bereit für Produktionscode
easy ffi
aktuell...
Ich kann nicht für das Leben von mir herausfinden, warum die folgende SML-Funktion eine Warnung in meinem Hausaufgabenproblem wirft:
%Vor%
Immer wenn ich my_func mit den folgenden Testfunktionen aufrufen:
%Vor%
Ich bekomme immer die Warn...
Ich habe die SML NJ-Implementierung mit dem DMG für x86 von hier heruntergeladen und installiert:
Ссылка
Aber wenn ich ein Terminalfenster öffne und zu /usr/local/smlnj-110.72/bin gehe und sml lies, bekomme ich einen Bash-Befehl nicht gefun...
Zur Verwendung mit einer Klasse, die ich unterrichten werde, suche ich nach einem schnellen Compiler oder Bytecode-Interpreter für Standard ML. Ich suche nach schnellen Kompilierzeiten; reicht jede vernünftige Laufzeit aus. Bonus, wenn das Kom...
Funktoren in Standard-ML beziehen sich auf das Modulsystem und können Strukturen basierend auf anderen Strukturen erzeugen. Ein Beispiel für einen Funktor, der Listenkombinatoren für verschiedene Arten von Listen erzeugt, ist unten gegeben, aber...
Ich schreibe in SML für eine Aufgabe und ich habe ein paar Übungsprobleme gemacht und ich habe das Gefühl, dass ich etwas vermisse - ich habe das Gefühl, dass ich zu viele case -Anweisungen verwende. Hier ist, was ich mache und die Problemaus...
Motivation
Für das Leben von mir kann ich nicht herausfinden, wie man Funktoren höherer Ordnung einsetzt
SML / NJ zu irgendeinem praktischen Ende.
Laut der
SML / NJ-Dokumente zu den speziellen Funktionen der Implementierung ,
Es sollte mö...
In einer Isabelle-Theoriedatei kann ich einfache einzeilige Taktiken wie die folgenden schreiben:
%Vor%
Ich finde jedoch, wenn ich anfange, ML-Code zu schreiben, um Beweise zu automatisieren, um ein ML tactic -Objekt zu erzeugen, werden d...
Ich versuche, SML / NJ zu verwenden, und ich verwende sml < source.sml , um den Code auszuführen, aber es gibt zu viele Informationen aus.
Dies ist beispielsweise source.sml :
%Vor%
Dies ist die Ausgabe:
%Vor%
Von "val it" Aus...
Ich muss eine Funktion schreiben, die eine Liste von Strings aufnimmt und den größten String in der Liste findet. Das Catch ist, dass es mit List.foldl durch die Liste iterieren muss und rekursive Aufrufe außer denen in der Bibliotheksfunktion v...