Wenn SML.NET Funktoren hatte, warum kann F # nicht?

Was ist ein gegenseitig rekursiver Typ?

In ML ist ein Beispiel für einen rekursiven Datentyp:

Wie installiere ich eine funktionierende Version von Standard ML auf einem Mac?

Ich verwende Mac OSX 10.7.5 und kann anscheinend keinen funktionierenden Standard ML-Compiler mit einer verfügbaren REPL herunterladen. Soll das so schwer se...

Schwanzrekursion auf Bäumen

Ich habe eine Datenstruktur,

Wie man das interaktive SML / NJ-System für die Verwendung von Pfeiltasten "repariert"

Ich habe einige Probleme bei der Verwendung des interaktiven SML / NJ-Systems, nämlich wenn ich versuche, meine Pfeiltasten zu verwenden (entweder nach links...

Wann werden in SML Semikolons verwendet?

Ich weiß, dass in REPL Semikolons als Abschlusszeichen verwendet werden. Aber ich bin verwirrt, wann ich sie in einer Quelldatei verwenden soll.Zum Beispiel ...

SML erkennt OS unter OS X Mavericks nicht

Ich konnte SMLNJ nicht auf Mavericks ausführen. Es zeigt mir den Fehler

Horner-Algorithmus in SML? [geschlossen]

Ich versuche umzusetzenHorners Algorithmus [http://en.wikipedia.org/wiki/Horner%27s_algorithm]in SML. fun horner(lst1:real list,x:real) = let val i = ref 1 val result = ref (List.last(lst1)) in if (lst1) = ([]:real list) then 0.0 else while (!i ...

Was sind die Optionen EINIGE und KEINE in SML?

Ich bin neu in SML (und eigentlich in der Programmierung). fun readlist (infile : string) = let val ins = TextIO.openIn infile fun loop ins = case TextIO.inputLine ins of SOME line => line :: loop ins | NONE => [] in loop ins before ...

Was stimmt nicht mit meinem Code in sml?

Ich weiß nicht, warum mein Code nicht funktioniert. fun lookup _ [] = 0 | lookup key ((k,v)::entries) = if k = key then v else (lookup key entries) Das ist passiert, als ich es in cmd getestet habe. val lookup = fn : ''a -> (''a * int) list -> ...