sml

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

-2Hitze

1Antwort

Was bedeutet "??" bedeuten in Standard ML

Ich war an diesem ML Code suchen und ich sah diese Aussage fun doSomething (a, b) = if a < b then ?? else ?? ; Was die "??" tut in diesem Zusammenhang bedeuten?

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

2Antwort

Gibt es eine Möglichkeit, einen Datensatztyp so darzustellen, dass er in sml gebunden wird?

wenn ich eine Platte wie unten haben: type president = {name: String, age: int}; kann ich die gleichen Informationen darstellen, indem nur die let Bindung und etwas Einfaches wie fun oder fn verwend

1Hitze

1Antwort

SML: Fehler: Operator und Operand stimmen nicht überein [Tycon Mismatch]

Ich versuche, eine SML-Funktion zu schreiben, die zwei Argumente hat, die erste ist eine Int und die zweite ist eine Liste von Listen. Das Ziel ist, das erste Argument an die Vorderseite jeder Liste i

3Hitze

1Antwort

Standard-ML-Fehler: Operator und Operand stimmen nicht überein

Ich möchte eine Funktion number_before_reaching_sum schreiben, die eine int aufgerufene Summe nimmt, und ein int n zurückgeben, so dass die ersten n Elemente der Liste zu weniger als Summe hinzufügen,

2Hitze

1Antwort

Typ-Inferenz für polymorphe Rekursion kodiert als Modul Rekursion

Standard-ML hat keine polymorphe Rekursion. Das Hinzufügen einer Rekursion zu der Modulsprache ermöglicht es uns, polymorphe Rekursion als Spezialfall wiederherzustellen, wobei Fixpunkte von endofunct

3Hitze

1Antwort

Ist dieses Snippet legaler Standard ML gemäß der Definition?

Ist das Code-Snippet unter dem rechtlichen Standard ML gemäß der Definition angegeben? Es Typprüfungen mit Poly/ML, aber nicht mit Moskau ML: infixr 5 ::: ++ signature HEAP_ENTRY = sig type ke

4Hitze

1Antwort

SML-Option Monad (Bind-Operator funktioniert nicht)

Ich möchte Option Monad in SML implementieren, damit ich sie genauso verwenden kann, wie sie in Haskell verwendet werden können. Was ich getan habe, funktioniert nicht. infix 1 >>= signature MONAD =

6Hitze

1Antwort

Verhindern, dass SML-Typ zu eqtype wird, ohne Konstruktoren auszublenden

In datatype Deklarationen wird Standard ML einen Gleichheitstyp erzeugen, wenn alle Typargumente für alle Varianten selbst eqtype s sind. Ich habe in einigen Orten gesehen Kommentare die Unfähigkeit d