这ocaml语法是什么意思?
答
它声明的新型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
太谢谢你了。这对我来说很明显。 – user2524261