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...
Die Kommentare zu Steve Yegge ist über serverseitiges JavaScript begann die Diskussion über die Vorzüge von Typ-Systemen in Sprachen und diese Kommentar beschreibt:
... Beispiele von H-M Stilsystemen, wo Sie Dinge wie: bekommen...
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...
In Ocaml haben Tupel mit unterschiedlichen Aritäten verschiedene Typ- und Wertekonstruktoren:
%Vor%
Beachten Sie, dass das zweite Beispiel (b) flexibler ist als das erste (a), da "tail" von b - (2, 3) - selbst ein gültiger Wert ist:
%Vor%...
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 Kapitel 6.3.1 der Arbeit Reinfunktionale Datenstrukturen heißt es:
Dann, wenn wir einen neuen Baum aus einem neuen Element und einem Segment erstellen
von Bäumen der Ränge 0 ... r-1 vergleichen wir einfach das neue Element mit dem
...
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...