Ocaml Module Implementierung

Question

Ocaml der Standardbibliothek verschiedene Module enthält: List, Map, Nativeint usw. Ich weiß, dass Schnittstellen für diese Module zur Verfügung gestellt werden (zB für die List module), aber ich bin an den Algorithmen und deren Umsetzungen in Modulen "funktioniert.

Wo finde ich das?

Answer 1

Sie finden die Definitionen im OCaml-Quellcode. Zum Beispiel ist die Implementierung der Map Funktionen in stdlib/map.ml in der OCaml-Source-Distribution.

Answer 2

Sie sollten bereits auf Ihrem System installiert sein. Am wahrscheinlichsten (unter der Annahme eines Unix-Systems) befinden sie sich in/usr/lib/ocaml oder/usr/local/lib/ocaml. Öffnen Sie einfach eine der .ml Dateien.

Answer 3

• Auf Ihrem System: /usr/lib/ocaml/list.ml und anderen .ml Dateien
• Im Web: https://github.com/ocaml/ocaml/blob/trunk/stdlib/list.ml und anderen .ml Dateien in https://github.com/ocaml/ocaml/tree/trunk/stdlib

---

Die Liste Implementierung ist interessant zu studieren. Zum Beispiel könnte die map Funktion wie folgt umgesetzt werden:

let rec map f = function 
    | [] -> [] 
    | a::l -> f a :: map f l 

sondern wird wie folgt umgesetzt:

let rec map f = function 
    | [] -> [] 
    | a::l -> let r = f a in r :: map f l 

Was ist der Unterschied? Führen Sie dies aus:

List.map print_int [1;2;3] ;; 
map print_int [1;2;3] ;; 

Das erste druckt 123, aber das zweite druckt 321! Da die Auswertung von f a Nebenwirkungen hervorrufen kann, ist es wichtig, die richtige Reihenfolge zu erzwingen. Dies ist, was die offizielle Kartenimplementierung tut. In der Tat, die evaluation order of arguments is unspecified in OCaml auch wenn alle Implementierungen die gleiche Reihenfolge folgen.

Siehe auch die Optimizing List.map post on the Jane Street blog für Überlegungen zur Leistung (List.map ist effizient auf kleinen Listen).