ocaml - 自 RWO 以来，OCaml 编译器是否发生了巨大变化？

Question

真实世界 OCaml 第 60 页的示例

List.map ~f:((+) 3) [4;5;6;];;
Error: The function applied to this argument has type 'a list -> 'b list
This argument cannot be applied with label ~f

来自 RWO 的 HTML 托管版本的相同示例

List.map ~f:((+) 3) [4;5;6];;
- : int list = [7; 8; 9]
Error: The function applied to this argument has type 'a list -> 'b list
This argument cannot be applied with label ~f

显然发生了重大变化，对吧？为什么这些例子不起作用？有没有更好的书可以学习？

这门语言很棒，我想尽我所能学习，但资源稀缺。

Answer 1

尝试使用模块 ListLabels 而不是 List。

这是关于标准库而不是编译器的问题，自 RWO 发布以来这一点一直没有改变。 RWO使用的是Jane Street Core，其功能类似于标准库中的ListLabels。特别是，ListLabels 和 Jane Street Core List 在 map 的函数参数上都有一个标签 f，而标准的 List 没有。

Standard ListLabels

Standard List

Jane Street Core List

在浏览器中的每个页面上搜索 val map 以查看函数签名。

您可以从 RWO 代码顶部的语句 # open Core.Std;; 看出 RWO 使用的是 Jane Street Core。如果你想使用常规的标准模块 List，做

List.map ((+) 3) [4;5;6];;

不确定他们的在线顶级发生了什么。