理解 Ocaml 中的命令式列表示例

Question

我是 ocaml 的新人。 感谢有人能帮助我理解 本书第 94 页提供的材料 “使用目标 caml 开发应用程序”。

难以理解以下段落的含义：

只是 (itl l) 的评估发生在 评估(ihd l)，以便在imap的最后一次迭代中，由l引用的列表 在我们检查它的头部之前就变成了空列表。列表示例从此以后 即使我们没有得到任何结果，也肯定是空的

imap (function x ! x) 示例返回

Uncaught exception: Failure("hd")

而不是

- : string ilist = {c=["one"; "two"; "three"]}

我认为

else icons (f (ihd l)) (imap f (itl l))`

会变成 icons("one") ( ( Icons("二") ( ( 图标("三")([]) ) ) ) 并返回

- : string ilist = {c=["one"; "two"; "three"]}

Answer 1

在书中的示例中，该列表是以命令式方式实现的。函数 itl 会改变列表 - 也就是说，它通过删除第一个元素来更改列表。调用 itl 后，第一个元素基本上就永远消失了。

棘手的部分是语句中执行图标的参数的顺序：

else icons (f (ihd l)) (imap f (itl l))

在 OCaml 规范中未指定顺序。上次我检查 INRIA 编译器首先对最后一个参数进行排序，因此 (imap f (itl l)) 在 之前 (f (ihd l))< /代码>。这意味着，在实际调用 ihd 时，itl 已被调用足够多次，以删除 l 的所有元素。

作为示例，让我们看一下倒数第二个递归调用 - l 只是 ["third"]。您认为这会导致：

icons (f "three") (imap f [])

但是，让我们看看如果我们首先调用 itl 会发生什么：

(* l = ["three"] *)
let tail = (itl l) in (* tail = [], l = [] *)
let head = (ihd l) in (* l = [], ihd raises an exception *)
icons head (imap f tail)

作为示例，尝试运行此代码：

let f x y z = x + y + z
f (print_int 1; 1) (print_int 2; 2) (print_int 3; 3)

在我的机器 (OCaml 3.12) 上，我得到以下输出：

321- : int = 6