Suchergebnisse für Anfrage "sml"
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?
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 ...
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 ...
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 ...
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" ...
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.
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, ...
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 -> ...
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 ...