ocaml

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

Finde einen Gegenstand in der Liste der Tupel

Ich habe eine Liste von Tupeln der Form (string, int) . Ich versuche, die Liste zu durchsuchen und das Tupel zurückzugeben, dessen Zeichenfolgenkomponente mit dem Parameter übereinstimmt, wie in: let find_tuple string_name tuples_list =...
17.12.2010, 17:28
2
Antworten

Funktoren in OCaml verstehen

Ich bin ziemlich fest mit dem folgenden Funktorproblem in OCaml. Ich füge einen Teil des Codes ein, damit Sie es verstehen. Grundsätzlich Ich habe diese zwei Module in pctl.ml definiert: %Vor% und der folgende Funktor: %Vor% Um die...
25.07.2010, 01:12
1
Antwort

'Wie man Funktoren höherer Ordnung richtig benutzt?' oder "Wie viel Spaß mit Funsigs haben?"

Motivation Für das Leben von mir kann ich nicht herausfinden, wie man Funktoren höherer Ordnung einsetzt SML / NJ zu irgendeinem praktischen Ende. Laut der SML / NJ-Dokumente zu den speziellen Funktionen der Implementierung , Es sollte mö...
04.09.2016, 04:49
1
Antwort

Welche OCAML-Standardbibliothekstypen können nicht gemarshallt werden?

Ich habe einen Fehler Marshaling einer Datenstruktur (Fehler abstrakten Typ (Benutzerdefiniert)). Es gibt einen bekannten abstrakten Typ, nämlich Big_int. Wie auch immer, Marshals gut. In der Anwendung gibt es keinen benutzerdefinierten C-Code....
30.01.2011, 00:47
2
Antworten

symbolische Berechnung

Mein Problem: Manipulation symbolischer Ausdrücke. Ein symbolischer Ausdruck wird ausgehend von ganzzahligen Konstanten und Variablen mit Hilfe von Operatoren wie +, -, *, /, min, max erstellt. Genauer würde ich einen Ausdruck auf folgende We...
21.04.2011, 13:34
1
Antwort

Einbetten von OCaml in C: Verknüpfungsfehler

Ich versuche, ein Programm zu kompilieren, das gemischte C- und Ocaml-Quellen verwendet, wobei die Hauptanwendung in C einige OCaml-Code-Teile aufruft. Alles klar, kein Problem hier, es scheint eine übliche Operation zu sein, vollständig dokume...
20.04.2012, 10:40
2
Antworten

Haltepunkte im Argument-Passing-Schema von OCaml

Heute ging ich durch den Quellcode von Jane Street % Core_kernel Modul und ich stieß auf die Funktion compose : %Vor% Ich hätte die Funktion compose folgendermaßen definiert: %Vor% Der Grund für die Definition von compose is...
22.03.2015, 05:55
2
Antworten

Wenn Sie ocmallbuild machen, übergeben Sie sowohl .ml als auch .mli Dateien an ocamldoc

Ich möchte Quellcode in meine generierten Dokumente einfügen. Das funktioniert, wenn ich ocamldoc in der Befehlszeile wie folgt aufrufen: ocamldoc -I _build -html -keep-code -colorize-code *.{ml,mli} -d .docdir . Ich habe jedoch Probleme mi...
11.12.2012, 20:44
1
Antwort

Verwendung von Funktoren als Schnittstellen in OCaml

Ich entwickle einige OCaml-Algorithmen, bei denen einige Teile "steckbar" sein müssen, damit ein Teil der Berechnung bestimmten Berechnern überlassen bleibt. Um ein Beispiel zu geben, nehme ich an, dass ich eine Unterschrift wie diese habe:...
05.08.2010, 15:16
4
Antworten

Druck des aktuellen Aufruf-Stacks in OCaml

Gibt es in OCaml eine Möglichkeit, den aktuellen Aufruf-Stack programmatisch zu bekommen? Damit meine ich nicht einen Debugger, sondern einen Funktionsaufruf innerhalb des Programms, der den aktuellen Aufruf-Stack druckt. Ich kann mir vorstellen...
12.08.2012, 11:22