Ocaml程序編寫模塊實現

Question

Ocaml程序編寫的標準庫包含各種模塊：List，Map，Nativeint，等我知道的是，提供這些模塊接口（例如用於List module），但我感興趣的模塊使用的算法及其實現' 功能。

我在哪裏可以找到？

Answer 1

您可以在OCaml源代碼中找到定義。例如，在OCaml源代碼分發中，Map函數的實現位於stdlib/map.ml中。

Answer 2

它們應該已經安裝在您的系統上。很可能（假設是Unix系統）它們位於/ usr/lib/ocaml或/ usr/local/lib/ocaml中。只需打開.ml文件中的任何一個。

Answer 3

• 在您的系統：/usr/lib/ocaml/list.ml等.ml文件
• 在網絡上：https://github.com/ocaml/ocaml/blob/trunk/stdlib/list.ml等.ml文件https://github.com/ocaml/ocaml/tree/trunk/stdlib

---

列表實現有趣的研究。例如，map功能可以實現這樣的：

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

而是像這樣實現的：

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

有什麼區別？執行此操作：

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

第一個打印123，但第二個打印321！由於f a的評估可能會產生副作用，因此強制執行正確的順序很重要。這是官方地圖實現的功能。事實上，即使所有實現遵循相同的順序，也可以使用evaluation order of arguments is unspecified in OCaml。

另請參閱Optimizing List.map post on the Jane Street blog以瞭解性能（List.map對小型列表有效）。