如何將Ocaml類型與函數映射一起使用？

Question

我有一個類型定義爲type abc = bool->int;;這種類型的解釋從bool到int的簡單映射。我的問題是，我該如何使用這個type abc？

例如像如果我有

type Color = Red|Green|Blue|Dark of Color|Light of Color;;

然後，我可以使用的東西就像type ColorDark Red;;。 但現在我似乎無法使用這個新的type abc。

Answer 1

此類型abc是bool -> int的同義詞，不是新類型。由於它不是一種新類型，OCaml可能已經爲您推斷出這種類型。聲明這種類型的原因是爲了文檔。

因此，您的問題的最佳答案是，當您要記錄某種類型的文件時，您將使用abc。

type abc = bool -> int 

let apply (f: abc) (b: bool) : int = 
    f b 

let myfun : abc = fun b -> if b then 3 else 4 

在你的另一個例子中color是一個新類型。如果你沒有聲明它，它就不存在。

（注意OCaml中該類型的名稱必須以小寫字母開頭。你不能有一個名爲類型Color。）

更新

您需要的類型名稱來區分（如color和int）和構造函數（如Red和Dark和412）。你不能在類型名稱上模式匹配。您可以對值進行模式匹配（如Red或Dark Red或412）。您的類型abc沒有構造函數。這是一個同義詞。

@melpomene指出，也沒有爲函數值定義相同的定義。所以你無法匹配函數值。