ocaml

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

Nach der Vereinfachung in OCaml kann der Produkttyp nicht dekonstruiert werden

Ich habe diesen einfachen Code in OCaml: %Vor% Beim Testen meiner extract -Funktion scheint es zu funktionieren: %Vor% Ich vereinfache es, also braucht es nur einen Typ: %Vor% Aber ich bekomme den Fehler: %Vor% Das lustige ist...
01.04.2013, 21:58
2
Antworten

OCaml: Führt das Speichern von Werten, die später verwendet werden, zu "Nebenwirkungen"?

Für eine Hausaufgabe wurden wir angewiesen, eine Aufgabe zu erledigen, ohne irgendwelche "Nebenwirkungen" einzuführen. Ich habe "Nebenwirkungen" auf Wikipedia nachgeschlagen, und obwohl ich das in der Theorie verstehe, bedeutet es "verändert ein...
28.09.2011, 05:34
3
Antworten

F # Graph Bibliothek (ocamlgraph like)

Ich schreibe ein Programm in ocaml mit ocamlgraph und frage mich, ob ich es nach F # portieren soll. Was sind meine Optionen? Danke.     
21.12.2009, 12:39
3
Antworten

Auf oklamyacc, Funktion Grammatik und Vorrang der Anwendung

Ich bin OCaml-Neuling und ich versuche, eine einfache OCaml-ähnliche Grammatik zu schreiben, und ich kann das nicht herausfinden. Meine Grammatik erlaubt so etwas: %Vor% Wenn ich jedoch die so definierte Funktion verwenden möchte, kann ich s...
17.05.2010, 07:53
1
Antwort

Können wir Typen innerhalb einer Funktion in OCaml definieren?

Ich bin neu in OCaml. Ich möchte einen Typ definieren, der nur in einer Funktion verwendet wird. Ich möchte es nicht außerhalb dieser Funktion verfügbar machen. Können wir es innerhalb dieser Funktion definieren? Oder gibt es einen anderen Weg,...
07.11.2013, 07:35
3
Antworten

Verwenden von externen Typdeklarationen mit OCamlyacc

Ich habe einen Typ expr in einer expr.ml Datei. In parser.mly (OCamlyacc-Datei) definiere ich die expr-Regel und gebe den Typ: %Vor% Allerdings bekomme ich: %Vor% Ich habe versucht, hinzuzufügen %Vor% am Anfang der .mly-Datei, aber e...
15.06.2011, 15:01
3
Antworten

Ocaml - Emacs Tuareg-Modus

Ich habe gerade begonnen, den Tuareg-Modus in Emacs für die OCAML-Programmierung zu verwenden. Kann mir also jemand sagen, was die Hauptvorteile sind? Kann mir jemand ein Tutorial dafür vorschlagen?     
02.12.2011, 15:54
3
Antworten

OCaml Modultypen und separate Kompilierung

Ich lese OCaml Lead Designer 1994 über Module, Typen und separate Kompilierung (freundlich zu mir von Norman Ramsey in eine andere Frage ). Ich verstehe, dass der Artikel die Ursprünge von OCamls aktuellem Modultyp / Signatursystem diskutie...
23.03.2012, 17:02
3
Antworten

Implementierung eines Direct-Thread-Interpreters in einer funktionalen Sprache wie OCaml

In C / C ++ können Sie einen direkten Thread-Interpreter mit einem Array von Funktionszeigern implementieren. Das Array repräsentiert Ihr Programm - eine Reihe von Operationen. Jede der Operationsfunktionen muss mit einem Aufruf der nächsten Fun...
31.08.2010, 00:22
1
Antwort

Ocaml-Muster, das mehrere Elemente in einer Liste gleichzeitig abgleicht

Sagen wir, ich habe eine Liste vom Typ integer [1; 2; 3; 4; 5; 6; 7; 8] und ich möchte die ersten drei Elemente auf einmal zusammenpassen. Gibt es eine Möglichkeit, dies ohne verschachtelte Übereinstimmungen zu tun? zum Beispiel, kann es so g...
23.01.2011, 19:50