moduli ocaml implementazione

Question

libreria standard di O'Caml contiene vari moduli: List, Map, Nativeint, ecc So che le interfacce per questi moduli sono forniti (ad esempio per la List module), ma Sono interessato gli algoritmi e le loro implementazioni usate in moduli 'funzioni.

Dove posso trovarlo?

Answer 1

È possibile trovare le definizioni nel codice sorgente OCaml. Ad esempio, l'implementazione delle funzioni Map è in stdlib/map.ml nella distribuzione di origine OCaml.

Answer 2

Dovrebbero essere già installati sul sistema. Molto probabilmente (assumendo un sistema Unix) si trovano in/usr/lib/ocaml o/usr/local/lib/ocaml. Basta aprire uno dei file .ml.

Answer 3

• Sul sistema: /usr/lib/ocaml/list.ml e altri file .ml
• sul web: https://github.com/ocaml/ocaml/blob/trunk/stdlib/list.ml e altri file in .mlhttps://github.com/ocaml/ocaml/tree/trunk/stdlib

---

La Lista implementazione è interessante da studiare. Ad esempio, la funzione map potrebbe essere implementato in questo modo:

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

ma è invece implementata in questo modo:

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

Qual è la differenza? Eseguire questo:

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

Il primo stampa 123, ma il secondo stampa 321! Poiché la valutazione di f a potrebbe produrre effetti collaterali, è importante forzare l'ordine corretto. Questo è ciò che fa l'implementazione ufficiale della mappa. Infatti, lo evaluation order of arguments is unspecified in OCaml anche se tutte le implementazioni seguono lo stesso ordine.

Vedere anche lo Optimizing List.map post on the Jane Street blog per considerazioni sulle prestazioni (List.map è efficiente su elenchi di piccole dimensioni).