Suchergebnisse für Anfrage "sml"

1 die antwort

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 ...

4 die antwort

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 ...

2 die antwort

Schwanzrekursion auf Bäumen

Ich habe eine Datenstruktur,

TOP-Veröffentlichungen

2 die antwort

Was sind die Grenzen der Typinferenz?

Was sind die Grenzen der Typinferenz? Welche Typsysteme haben keinen allgemeinen Inferenzalgorithmus?

4 die antwort

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 .....

2 die antwort

Iteration über mehrere Listen in SML

Ich habe zwei Listen in SML, sagen wir Liste A

2 die antwort

Was sind die Optionen EINIGE und KEINE in SML?

Ich bin neu in SML (und eigentlich in der Programmierung). fun readlist (infile : string) = let val ins = TextIO.openIn infile fun loop ins = case TextIO.inputLine ins of SOME line => line :: loop ins | NONE => [] in loop ins before ...

8 die antwort

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, ...

3 die antwort

Unterdrücken Sie die Ausgabe von "val it" in Standard ML

Ich schreibe ein "Skript" in Standard ML (SML / NJ), das die interaktive Umgebung nach meinen Wünschen einrichtet. Das Skript druckt als letztes ei...

4 die antwort

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 ...