Erstellen eines GADT-Ausdrucks in OCaml

Es gibt meinen Spielzeug-GADT-Ausdruck: type _ expr = | Num : int -> int expr | Add : int expr * int expr -> int expr | Sub : int expr * int expr -> int expr | Mul : int expr * int expr -> int expr | Div : int expr * int expr -> int expr | Lt : ...

Verwenden Sie dynamische Programmierung in Haskell? [Warnung: ProjectEuler 31-Lösung im Inneren]

Bei der Lösung des Problems # 31 von projecteuler.net [SPOILER VORAUS] (Zählt man die Anzahl der Möglichkeiten, mit den britischen Münzen 2 £ zu verdienen), ...

Gibt es eine einfachere Möglichkeit, eine nicht vorhandene Auswahlsortierung in OCaml zu implementieren?

OCaml |> operator

Kann jemand erklären, was der Operator |> macht? Dieser Code wurde der Referenz @ entnommHie [http://caml.inria.fr/pub/docs/manual-ocaml/libref/Map.html]: let m = PairsMap.(empty |> add (0,1) "hello" |> add (1,0) "world")Ich kann sehen, was es ...

Versuchen Sie, die Schnittstelle / das Modul von OCaml besser zu verstehen

OCaml Optionales Argument

Wie kann ich in OCaml eine Funktion schreiben, in der ein oder mehrere Argumente optional sind? let foo x y z = if(x+y > z) then true else false;;Wenn foo nicht erhalten diez Argument, das es verwendet0 wiez. foo 3 3 2 -> true foo 3 3 10 -> ...

Polymorphismus in OCaml - ad hoc, parametrisch, Inklusion / Subtypisierung

Ich habe ein Problem damit, die verschiedenen Arten des Polymorphismus zu verstehen, insbesondere in Bezug auf OCaml. Ich verstehe, dass Polymorphismus in OCaml mehrere Typen erlaubt, die als 'a' bezeichnet werden, aber ich verstehe nicht, was ...

Gibt es einen kostenlosen OCaml to C-Übersetzer? [geschlossen

Also ich habe netten OCaml Code (50000 Zeilen). Ich möchte es auf C portieren. Gibt es also einen kostenlosen OCaml to C-Übersetzer?

Seltsames Problem beim Laden von Modulen in OCaml

"As" Schlüsselwort in OCaml

In den Antworten für die Tutorials für OCaml finden Sie unterDiese Seit [http://ocaml.org/learn/tutorials/99problems.html], einige der Lösungen, einschließlich der Lösung zum Eliminieren aufeinanderfolgender Duplikate von Listenelementen, sind ...