ml

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

sml smlnj ml 2016-06-03

---

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

sml ml 2016-07-24

---

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

sml smlnj ml 2016-06-06

---

1Hitze

1Antwort

Altes Isabelle-Projekt importiert ml-Datei mit 'Verwendungen' Wie soll ich das ersetzen?

Ich habe ein altes Isabelle Projekt geerbt und möchte es auf dem neuesten Stand bringen, mit Isabelle 2016. zu arbeiten, wenn das Projekt es oft deine Datei beginnt beginnt: theory my_theory imports

ml isabelle 2016-06-14

---

15Hitze

1Antwort

(ML) Module vs (Haskell) Typ Klassen

Laut Harper (https://existentialtype.wordpress.com/2011/04/16/modules-matter-most/) scheint es, dass Typklassen nicht das gleiche Maß an Abstraktion bieten, das Module bieten, und es fällt mir schwer,

haskell sml ml 2016-04-28

---

1Hitze

1Antwort

Ich möchte uncurry beweisen (Curry (f)) = f, Curry (uncurry (g)) = g mit der Verwendung von ML

Ich habe zwei ML Funktionen fun curry f x y = f(x, y); fun uncurry g (x, y) = g x y; Und ich will uncurry(curry(f)) = f beweisen und curry(uncurry(g)) = g ich die Suchmaschine Website suchen, a

currying ml curry 2016-05-03

---

-3Hitze

1Antwort

Datei von Zeichen in SMLNJ lesen

Ich muss eine Textdatei Zeichen für Zeichen in SMLNJ lesen und in einer Liste speichern. Die Datei besteht aus einer Zeile mit Zahlen, ohne Leerzeichen oder irgendeine Form der Trennung. Meine Frage i

sml smlnj ml 2016-05-03

---

0Hitze

1Antwort

SML/NJ: eine Anzahl der Ziffern in eine int Liste Extrahierung

Input: Textdatei, die nur 1 Zeile mit einer ganzen Zahl enthält darin Output: int Liste mit den Ziffern der Nummer Hier ist mein Code: fun parse file = let val input = TextIO.openIn file

file parsing char integer ml 2016-05-04

---

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

recursion polymorphism sml type-inference ml 2016-06-25

---

2Hitze

1Antwort

Standard ML Binary Tree Traversal

Ich bin neu in SML und mache eine Übung über Baum Traversal. Dies ist die Einstellung der Frage. datatype 'a bTree = nil | bt of 'a bTree * 'a * 'a bTree; Ich brauche eine Funktion zu schreiben Inor

binary-tree sml ml tree-traversal 2016-05-09

---