ocaml null 关键字：一次但不再？

Question

在 ocaml 顶层（版本 3.11.2），这个简单的表达式给了我一个错误：

# let a = [] in if null a then 0 else 1;;
Error: Unbound value null

我刚刚开始从 oreilly book，这本书似乎经常使用 null 作为关键字 - 例如，第 32 页的顶部：

# let rec size a_list =
    if null a_list then 0
    else 1 + (size (List.tl a_list));;

我很尴尬在这里问这样一个明显可以谷歌搜索的问题。但经过多次谷歌搜索后，我却空手而归。因此，我对谷歌查询建议持开放态度，就像对简单答案持开放态度一样。 （谷歌尝试失败：[ocaml“错误：未绑定值null”] [ocaml null关键字] [ocaml变更日志null] [ocaml更改null]）。

问题：ocaml 关键字曾经为 null，但现在不再为 null？或者我是否安装了 ocaml 错误或拼写错误？

我当然可以将代码中每次出现的“null”替换为“[]”，但令我惊讶的是，书中代码的逐字副本这么早就给了我一个错误。这本书还充满其他陷阱吗？我相信它是根据 ocaml 2.04 编写的；那太旧了吗？我选择它是因为我喜欢目录和免费在线可用性。除了这个空错误（我仍然更愿意责怪自己而不是作者），解释很好，我期待着混合功能和功能的讨论。命令式风格（对于我来说，作为一个只熟悉 c/c++ 的人来说，思维扩展）。

Answer 1

null 在本书第 31 页中定义。这是一个您可以自己定义的普通函数：

let null l = (l = [])

这个命名法或多或少基于 Lisp，其中 NIL 是一个空列表（也写为 ()），NULL 是一个谓词（a函数返回 true 或 false），与上面的 null 完全相同。

Answer 2

OCaml 提供了强大的模式匹配，它允许您为了更易读地定义函数：

let rec size a_list = match a_list with
 | [] -> 0
 | _ :: tl -> 1 + (size tl)

由于经常对最后一个参数执行模式匹配，因此可以使用特殊符号：

let rec size = function
 | [] -> 0
 | _ :: tl -> 1 + (size tl)

---

可以使用 (=) 来定义更短的 null （即，平等检验为普通/前缀函数）：

let null = (=) []