這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