Suchergebnisse für Anfrage "sml"
Functional Breadth First Search
Funktionale Tiefensuche ist in gerichteten azyklischen Diagrammen sehr schön. ie können wir jedoch in Diagrammen mit Zyklen eine unendliche Rekursion vermeiden? In einer prozeduralen Sprache würde ich Knoten markieren, wenn ich auf sie treffe, ...
Wie mache ich bitweise AND in SML / NJ?
Benötige es für ein Programm, das ich schreibe (wiederholtes Quadrieren, um x ^ n zu berechnen). Ich kann anscheinend die Syntax dafür nicht finden oder ob sie überhaupt unterstützt wird.
Mehrere Muster in 1 Fall
Ist es in SML möglich, dass Sie mehrere Muster in einer case-Anweisung haben? Zum Beispiel habe ich 4 arithmetische Operatoren in Zeichenfolge ausgedrückt,"+", "-", "*", "/" und ich möchte drucken"PLUS MINUS" davon ist"+" or "-" und"MULT DIV" ...
u vereinheitlichende @Type-Variable kommt in Typ @ v
Ich habe die Funktion, einen Baum aus 2 Listen zu rekonstruieren. Ich gebe eine Liste aller Zweige zurück, erhalte jedoch eine Fehlermeldung, die ich nicht verstehe. Aber ich nehme an, es hat mit den Rückgabetypen zu tun. Der Fehler ist ...
SML Wie prüfe ich den Variablentyp?
Gibt es eine Möglichkeit, den Typ einer Variablen zu überprüfen / testen? Ich möchte es so benutzen: if x = int then foo else if x = real then bar else if x = string then ... else .....
Tipp für SML-Typinferenz
Ich bin neu in SML und versuche, die SML-Typreferenz zu üben. Ich versuche, die folgenden Typen abzuziehen: a)fun add42 x =x+42 b)fun comp F G = let fun C x = G(F(x)) in C end c)fun compA42 x = comp add42 x d)val foo = compA42 add42 e)fun ...
Wie entscheiden Sie, ob Sie beim Entwerfen von Modulen auf Typ- oder Modulebene parametrieren?
Ich arbeite auf ein tiefes Verständnis für ML-Module hin: Ich denke, das Konzept ist wichtig und ich liebe die Art des Denkens, die sie fördern. Ich entdecke gerade die Spannung, die zwischen parametrischen Typen und parametrischen Modulen ...
Help sml - Troubled
Wie man eine Funktion so deklariert Listn: '' eine Liste -> '' eine Liste -> bool, listn xs und ys geben true zurück. Beispiel: lisen [# "1" # "2"], [# "1" "# 3"] geben false zurück und [# "1", # "2"] [# "2", # "1"] return true
Sml einen Baum falten
Ich versuche, das Produkt eines Baumes mit der Fold-Funktion zu erhalten. Dies ist, was ich habe. Ich bin verwirrt darüber, wie ich die Faltmethode beim Überqueren des Baums verwende. datatype 'a bin_tree = Leaf of 'a | Node of 'a bin_tree * 'a ...
Differenz zwischen "local" und "let" in SML
Ich konnte keine anfängerfreundliche Antwort auf den Unterschied zwischen den Schlüsselwörtern "local" und "let" in SML finden. Könnte jemand bitte ein einfaches Beispiel geben und erklären, wann eines über dem anderen verwendet wird?