ml

0Hitze

1Antwort

Eingabe/Ausgabe-Operationen - ML

Ich lerne ML. Kann mir bitte jemand helfen mit grundlegenden Ein-/Ausgabefunktionen in ML ?? Ich möchte nur die Eingabe von der Konsole lesen und in einer Variablen speichern und sie in meinem ML-Prog

sml standards smlnj ml 2010-11-22

---

2Hitze

2Antwort

StandardML 97 Definition

Tatsächliche Standard-ML-Spezifikation ist The Definition of Standard ML (Revised) , die auf MITPress nur in einer Druckversion verfügbar ist. Ist es im elektronischen Format (pdf, ps, d. H.) Verfügba

ml 2010-12-13

---

5Hitze

4Antwort

ML Typinferenz auf einen C++ Programmierer

Erklären Wie ML die Typinferenz in der folgenden Funktionsdefinition durchführen: let add a b = a + b Ist es wie C++ Vorlagen, wo keine Typüberprüfung bis zum Zeitpunkt der Vorlage Instanziierung au

c++ functional-programming templates type-inference ml 2010-04-20

---

9Hitze

2Antwort

GUI für Standard ML?

Ich habe vor kurzem aus Neugier gelernt, Standard ML zu lernen. Was ich also weiß, ist, dass es einen effizienten Compiler (MLton) gibt, der es uns erlaubt, Abstraktionen frei zu verwenden, ohne sich

user-interface binding sml ml graphical-programming 2009-10-11

---

2Hitze

1Antwort

Seuqences in ML (finite & infinnite)

Okay, ich die nächste Definition der Sequenz haben: datatype 'a seq = Nil | Cons of 'a * (unit-> 'a seq); ich die nächste Funktion implementieren müssen: filterq_n:('a -> bool) -> int -> 'a seq -> '

sml smlnj ml 2011-01-07

---

4Hitze

3Antwort

Editor für die Programmierung von ML auf Windows?

Ich weiß, ich kann Emacs verwenden, aber ich habe es nicht früher verwendet ... gibt es noch andere Alternativen? Dank

ide functional-programming editor ml 2009-07-23

---

5Hitze

2Antwort

Beispiel für verschachtelte Signaturen in OCaml?

In OCaml, können Sie nisten Unterschriften: module type FOO = sig module type BAR (* … *) end Ich habe mich nur gefragt, ob jemand irgendwelche Beispiele dafür in Gebrauch hatte, da ich

module ocaml ml 2010-12-07

---

5Hitze

3Antwort

Deriving Typ Ausdruck in ML

Alle, Ich mag die Art Ausdruck für die Funktion unten in ML abzuleiten: fun f x y z = y (x z) Jetzt weiß ich, die gleiche Eingabe würde die Art Ausdruck erzeugen. Aber ich möchte diese Werte von Han

functional-programming types sml ml 2010-07-16

---