ocaml

OCaml ist eine streng statisch typisierte funktionale Programmiersprache, die sich auf Expressivität, Korrektheit und Effizienz konzentriert.
2
Antworten

OCaml äquivalent zu Haskell @ in Mustervergleich (auch als Muster bezeichnet)

In Haskell kann ich beim Mustervergleich% ce_de% verwenden, um die gesamte Struktur in einem Muster zu erhalten. (Zum einfacheren Googeln wird diese Struktur als as-Muster bezeichnet.) Zum Beispiel zerlegt @ eine Liste in einen Kopf und ei...
08.11.2017, 13:08
2
Antworten

Warum kompiliert dieser F # / OCaml-Ausdruck?

Dieser Code lässt sich sowohl in F # als auch in OCaml gut kompilieren: %Vor% Ich habe sowohl in FSI als auch in Utopie getestet. Es gibt immer true zurück. Das jqk3jtl23jtlk123 ist völlig zufällig und sein Typ wird als 'a abgele...
15.09.2017, 14:40
2
Antworten

Hinzufügen zu einer Zeichenkette in OCaml

Ich habe versucht, herauszufinden, was ich für eine ziemlich einfache Aufgabe halte, nämlich Einträge zu einer Karte von Strings in OCaml innerhalb einer Funktion hinzuzufügen. Die relevanten Elemente sind unten: %Vor% Ich erhalte immer noch...
07.10.2010, 03:46
3
Antworten

Parsen von Grammatiken mit OCaml

Ich habe eine Aufgabe, einen (Spielzeug-) Parser für eine (Spielzeug-) Grammatik mit OCaml zu schreiben und bin mir nicht sicher, wie ich dieses Problem lösen (und fortfahren) kann. Hier ist eine Beispiel-Awk-Grammatik: %Vor% Und hier sin...
18.10.2009, 07:23
2
Antworten

Bedeutet Lwt "Light Weight Thread"?

Ich habe Ocsigen getestet, die Lwt verwenden. Ich denke, Lwt bedeutet "Light Weight Thread", richtig? Wenn ja, wie können wir es "Leichtgewicht" nennen? Es scheint, dass Lwt den OS-Thread verwendet, der NICHT leicht ist (im Vergleich zu Erlan...
08.08.2012, 00:43
4
Antworten

Wie gebe ich den Index einer for-Schleife in OCaml zurück?

%Vor% Wie kann ich den Index einer Schleife als Integer zurückgeben, nachdem die Übereinstimmung gefunden wurde?     
27.02.2012, 01:00
2
Antworten

OCaml boolescher Ausdruck [[]] == [[]]

Ich habe eine Funktion, die [[]] zurückgibt, und ich möchte das Ergebnis als Komponententest testen. Aber ich fand, dass der Ausdruck [[]] == [[]] return false . Hier ein einfacher Testcode: %Vor% Kann mir jemand erklären, warum dies...
04.04.2012, 10:36
3
Antworten

Zwei Felder mit zwei Datensätzen haben dieselbe Bezeichnung in OCaml

Ich habe zwei Datensatztypen definiert: %Vor% Und ich habe später einen Fehler für eine Codezeile: Error: The record field label typ belongs to the type Syntax.func but is mixed here with labels of type Syntax.name Könnte mir jemand sa...
19.01.2012, 15:46
3
Antworten

Zusammengesetzte Funktionen in ocaml

Wie kann ich eine zusammengesetzte Funktion in einer funktionalen Sprache definieren, insbesondere mit Ocaml? Zum Beispiel, wenn ich eine Funktion schreibe, die die Negation des Ergebnisses einer anderen Funktion berechnet, das heißt: not(f(x))...
14.02.2011, 21:47
5
Antworten

Wie überschneide ich zwei Listen in OCaml?

Wenn ich zwei Listen in OCaml habe, zum Beispiel %Vor% und %Vor% Gibt es eine effiziente Möglichkeit, die Schnittmenge dieser beiden Listen zu erhalten? I.e .: %Vor% Weil ich nicht jedes Element in der Liste e2 für jedes Element in d...
04.03.2010, 11:44