functional-programming - `[< >]` 在 OCaml 中是什么意思？

Question

我看过一些源代码

let rec parse_document = parser
    | [< len = parse_int32; st; >] ->
      parse_list [] (ES.take_int32 len st)
    | [< >] -> malformed "parse_document"

我能知道什么是 [< >]里面？谷歌搜索这种标志太难了。

Answer 1

这是 Stream 的语法糖数据类型。它的操作在 this chapter 中有详细描述。书本Developping Applications with OCaml .

语法糖不是编译器内置的，它需要由 Camlp4 预处理器进行预处理。为此，您必须添加 -pp camlp4o到您的编译命令行。