smlnj

1Hitze

1Antwort

Null-Wert im Tupel einer Liste in sml halten

Ich möchte eine Art von Datenstruktur mit einer Liste mit Spezifikation erstellen: (string * int) Liste, wo das erste Element Schlüssel und das zweite Element Wert ist. Zunächst möchte ich beim Erstel

2Hitze

3Antwort

Wie konvertiert String in int (und nicht in Int-Option) in SML

Ich versuche, Integer-Wert aus einer Zeichenfolge mit Int.fromString Funktion zu extrahieren, aber wie wir wissen, ist die Spezifikation: String -> int option. Das Ergebnis der Anwendung Int.fromStrin

0Hitze

2Antwort

Wie man eine rekursive Funktion in diesem Fall (SML) stoppt

Wenn L [1,2,3] ist, dann möchte ich ein [[1,2,3], [2,3,1] , [3,1,2]]. Da jedes Mal, wenn ich die erste Zahl an das Ende anfügen, dann wenn L = [] dann funktioniert [hier nicht. Wie die Funktion zu sto

4Hitze

1Antwort

Können Sie alle Druckanweisungen in SML deaktivieren

Ich habe derzeit eine Menge von Druckanweisungen in SML-Code, und ich bin eine sehr große Baum durchlaufen, so dass es eine Weile dauert für alle gedruckten Anweisungen gedruckt werden, aber jetzt Ich

3Hitze

1Antwort

Übereinstimmung nicht erschöpfend in sml

fun p(x::xl) = if x::xl = [] then [] else [0]; Es erhielt eine Warnung: Übereinstimmung nicht erschöpfend. x :: XL => ... Was will ich tun: p ([]) = [] Wenn ich dies tun, ist es eine abgef

0Hitze

1Antwort

Druckanweisung verursacht Fehler?

Die Syntax in dieser Sprache ist verwirrend. fun bar a = print (Int.toString a); 0 kompiliert. Keine Ahnung, warum Emacs die 0 indentiert. fun bar a = print (Int.toString a) 0

0Hitze

1Antwort

Variable wird nach Druckanweisung vergessen

Warum kompiliert dies? fun foo (h::t) = h = hd(t); Aber dies bedeutet nicht fun foo (h::t) = PolyML.print (h::t); print "\n"; h = hd(t); ? Value or constructor (h) has not been

1Hitze

1Antwort

beenden, abbrechen, zum Debuggen schlafen?

In Prolog können Sie den Trace-Modus für das Debugging aktivieren. Anscheinend gibt es so etwas in ML nicht. Gibt es mindestens eine exit() oder abort()? Ein sleep() wäre auch nützlich, um den Ablaufv

4Hitze

2Antwort

rechts Seite der Klausel nicht einverstanden mit der Funktion Ergebnistyp

eine Funktion remove_option schreiben, die einen String und eine Stringliste nimmt. Rückgabe Keine, wenn die Zeichenfolge nicht in der Liste enthalten ist, sonst EINIGE xs zurück, wo xs auf die Argume

-3Hitze

1Antwort

Datei von Zeichen in SMLNJ lesen

Ich muss eine Textdatei Zeichen für Zeichen in SMLNJ lesen und in einer Liste speichern. Die Datei besteht aus einer Zeile mit Zahlen, ohne Leerzeichen oder irgendeine Form der Trennung. Meine Frage i