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:
Darf ich ein einfaches Beispiel für die Multiplikation zweier Bignums verlangen?
Die Referenz für Num ist hier .
Wenn der Toplevel bereits gestartet wurde, können Sie die Bibliothek dynamisch laden:
%Vor% Eine weitere Möglichkeit (die für alle Bibliotheken von Drittanbietern funktioniert und Pfade und Abhängigkeiten für Sie verwaltet) ist die Verwendung von ocamlfind . Stellen Sie dazu
(oder besser gesagt in Ihre ~/.ocamlinit -Datei). Um eine Bibliothek zu laden, tun Sie einfach
(Wenn ocamlfind - also topfind - nicht verfügbar ist, installieren Sie es mit opam .)
Hier ist ein Beispiel der Multiplikation:
%Vor% Die Konstruktion Num.(e) ist eine Abkürzung für let open Num in e und ermöglicht die Verwendung der Funktionen Num ohne Präfix in e . Hier ist eine Definition der Fakultät:
Sie können es mit
versuchen %Vor% Wenn Sie #require verwendet haben, wird ein hübscher Drucker für Num -Werte installiert, so dass die vorherige Interaktion wie folgt aussieht:
was viel einfacher zu lesen ist!
Das Modul Num wird von einer Bibliothek bereitgestellt, die standardmäßig nicht verknüpft ist. Sie müssen die Bibliothek in der Linker- oder Toplevel-Befehlszeile übergeben. Sie können Typen (zB Num.num ) und Konstruktoren (zB Num.Int ) aus dem Modul verwenden, da sie nur statische (Kompilierzeit) Informationen benötigen, aber die Verwendung von Variablen (einschließlich Funktionen, zB Num.mult_num ) dynamische Informationen benötigen ( Code), der explizit eingebunden werden muss.
Für Toplevel:
%Vor%Um ein Programm zu kompilieren und zu verknüpfen:
%Vor% Der Name der Bibliothek, die das Modul enthält, steht am Anfang des Kapitels über die Bibliothek im Ocaml Referenzhandbuch . Für viele von ihnen ist der Name der Bibliothek der gleiche wie der Name des einzigen Moduls, das es enthält, aber das ist eine Konvention, keine Verpflichtung. Für Bibliotheken wie nums , die mehrere Module enthalten, müssen Sie den Namen der Bibliothek nachschlagen.