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对小型列表有效）。