functional-programming - OCaml関数宣言で「:」を使用する目的は何ですか

Question

OCaml ステートメントの実際の意味は何ですか?

let func (v: A.a) : unit =    

#rest of the function

1. タイプAaのvとリターンユニットを取るということですか
2. または、v と Aa の 2 つのパラメーターを取り、単位を返しますか?
3. または、パラメーター Aa を持つ関数 v を取り、単位を返しますか?
4. または、他の何か？

Answer 1

let func (v: A.a) : unit =

最初の:手段v is a parameter and its type is expected to be A.a。

二つ目の:手段func is expected to return a type of unit

Answer 2

1 とおそらく 3.OCaml では関数は値であり、A.a関数型の場合は関数の最初の引数ですfunc。

Answer 3

1という意味です。

つまり、vtype を持っている場合、 typeA.aをfunc v持っていunitます。
または、同等に、の型はfuncisA.a -> unitです。