smlnj

6Hitze

1Antwort

ich dieses Stück Code haben: fun foldr2(f, x::xs) = if xs = [] then x else f(x, foldr2(f, xs)) Mit dem Typ Signatur (''a * ''a -> ''a) * ''a list -> ''a Sieht ziemlich geradl

3Hitze

1Antwort

polymorphe Listen in ML

Ich habe diesen Schnipsel des Codes in ML: local fun unfolder([] , n) = [] | unfolder(l::ls, n) = (n, l) :: unfolder(ls, n) in fun flat list = unfolder(list, 1) end; es mir einen Fehler

7Hitze

2Antwort

Unterdrücken "val it" Ausgabe in Standard ML

Ich schreibe ein "Skript" in Standard ML (SML/NJ), die die interaktive Umgebung nach meinem Geschmack einrichten. Das letzte, was das Skript macht, ist eine Nachricht auszugeben, die anzeigt, dass all

15Hitze

3Antwort

anonyme Funktion in SML Curry

ich die Funktion unten haben und einfach funktioniert es: (fn x => x * 2) 2; aber dieses nicht funktioniert: (fn x y => x + y) 2 3; Kann mir jemand sagen, warum? Oder gib mir einen Hinweis, damit

3Hitze

2Antwort

So löschen Sie den SML-Puffer in Emacs, wenn Sie den SML-Modus verwenden.

Ich verwende Emacs mit SML-Modus. Manchmal muss ich den SML-Puffer säubern. Wie kann ich das machen.

0Hitze

1Antwort

Zusammensetzung der Funktionen

Ich brauche Funktion NTimesComposition zu schreiben (f: (int * int -> int), n: int), die eine gewisse Funktion f und integer n und nach tun Zusammensetzung f erhält , n mal, wie dies f (x, (f (x, f (x

0Hitze

1Antwort

Eingabe/Ausgabe-Operationen - ML

Ich lerne ML. Kann mir bitte jemand helfen mit grundlegenden Ein-/Ausgabefunktionen in ML ?? Ich möchte nur die Eingabe von der Konsole lesen und in einer Variablen speichern und sie in meinem ML-Prog

2Hitze

1Antwort

Wie wiederhole ich eine Liste?

Ich versuche grundlegende Listenoperationen mit SML durchzuführen. Ich möchte jedes Element der Liste extrahieren und String an dieses Element anhängen und es wieder in die Liste einfügen. Beispiel: L

7Hitze

1Antwort

verschachtelte lokale Deklarationen in ML von NJ

Hallo, ich habe diesen Ausschnitt aus dem Code: local helper(f, i, j) = local fun NTimesF(f, n:int) = if n = 1 then fn (x) => f(x) else fn (x) => f(NTimesF(f, n - 1)(x));

24Hitze

1Antwort

Warnung in der ML

kann jemand bitte erklären, was bedeutet diese Warnung? stdIn:18.35 Warning: calling polyEqual und warum habe ich „ein und nicht‚a in der folgenden Aussage: val alreadyVisited = fn : ''a * ''a list