ocaml

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

effiziente funktionelle Datenstruktur für endliche Bijektionen

Ich suche nach einer funktionellen Datenstruktur, die endliche Bijektionen zwischen zwei Typen darstellt, das ist platzsparend und zeiteffizient. Zum Beispiel würde ich mich freuen, wenn ich eine Bijektion f der Größe n in Betracht ziehe:...
19.05.2012, 22:14
3
Antworten

Was ist der richtige Weg, um eine Ocaml-Unterklasse mit zusätzlichen Methoden zu erstellen?

In Ocaml habe ich Probleme mit Unterklassen und Typen: %Vor% Offenbar in Ocaml ist die Klasse sub nicht ein "Subtyp" der Klasse super , weil die Methode sub#doIt eine Methode in sub aufruft, die in% co_de nicht vorhanden ist %....
06.02.2011, 17:07
2
Antworten

Überschreibt Daten im Speicher

Ich habe einen Passwort-Manager in Ocaml geschrieben. Um es so sicher wie möglich zu machen, möchte ich eine Zeichenfolge (einen Verschlüsselungsschlüssel) so im Speicher speichern, dass sie überschrieben werden kann. Da Ocaml nach Wert besteh...
08.12.2017, 03:12
3
Antworten

Fehler: Verweis auf undefinierte globale 'Num'

Ich versuche, das Modul Num in OCaml (Bignums und große Brüche) zu verwenden. Einige Dinge scheinen zu funktionieren, andere nicht, und ich kann kein einziges vollständiges Beispiel erstellen. Zum Beispiel: %Vor% Darf ich ein einfaches Be...
14.06.2015, 13:52
2
Antworten

"as" Schlüsselwort in OCaml

In den Antworten zu den Tutorials für OCaml finden Sie unter diese Seite einige der Lösungen, einschließlich der einen zum Eliminieren aufeinanderfolgender Duplikate von Listenelementen wird wie folgt geschrieben: %Vor% Was ist die Relevan...
05.11.2014, 23:54
2
Antworten

Gibt es eine "Flip" -Funktion in der OCaml-Standardbibliothek?

In Haskell haben wir eine Funktion flip : flip f x y = f y x , die im Wesentlichen eine Funktion übernimmt und die gleiche Funktion zurückgibt, außer dass die beiden Argumente vertauscht sind. Ich frage mich, ob es in OCaml ein Gegenstück gi...
18.05.2013, 18:13
1
Antwort

Wie passt man Muster auf eine beliebige Anzahl von Argumenten an?

Gibt es ein OCaml-Äquivalent zu Haskells Mustererkennung für eine beliebige Anzahl von Argumenten? Kann ich zum Beispiel etwas ähnliches haben: %Vor% (Das Beispiel wurde aus Developing Applications mit Objective Caml herausgehoben:) Danke...
28.08.2010, 22:29
2
Antworten

OCaml: warum Vergleichsoperatoren typenunabhängig sind, arithmetische dagegen nicht?

Ich frage mich, warum & lt; operator unterstützt int, string, bool oder float, während + nur int. unterstützt Kann OCaml die zugrunde liegende Arithmetik erkennen? Was unterscheidet Vergleichsoperator von arithmetischen? Ist es das gleiche fü...
29.10.2015, 11:36
1
Antwort

Wie installiere ich corebuild in ocaml?

Ich habe opam installiert, und danach kann ich auf ocaml , ocamlc , buildocaml erfolgreich zugreifen. Aber ich lese Real World OCaml , das mich auffordert, ein Tool namens corebuild . Ich kann corebuild nicht installieren (...
09.12.2013, 02:21
4
Antworten

Schreibe ziemlich vielschichtigen verschachtelten if-then-else-Code in OCaml?

Wenn ich in OCaml eine Funktion schreiben muss, die viele if-then-else verwendet, dann ist unten meine dumme und hässliche Lösung. %Vor% Wie verschönere ich den obigen Code? Ich mag C / C ++ & amp; Java-Stil, der "return" verwendet, um den E...
14.02.2015, 12:36