这ocaml语法是什么意思？

Question

type 'k leaf = {a_bb : 'k -> string;} 

我无法理解ocaml中这行代码的含义。谁能帮忙？

Answer 1

它声明的新型leaf parametrised了一个类型变量'k这是一个记录类型有一个字段'k -> string型，其中'k就是我们前面提到的参数a_bb。

类型的值的一个例子'k leaf将是：

{ a_bb = fun _ -> "Hello World!" } 

但'k还可以专用于一个具体类型例如

{ a_bb = fun b -> if b then "Hello World!" else "Argh!" } 

具有类型bool leaf因为在该领域的a_bb参数传递给函数必须是用于表达if b then (...)有道理一个布尔值。

您可以通过使用投影像这样访问功能领域a_bb：

fun v -> v.a_bb