functional-programming - 在 OCaml 函数声明中使用“：”的目的是什么

Question

OCaml 语句的实际含义是什么？

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

#rest of the function

1. 这是否意味着它需要 Aa 类型的 v 并返回单元
2. 或者它需要两个参数 v 和 Aa 并返回一个单位？
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。

也就是说，如果v有 type A.a，则func v有 type unit。
或者，等效地，类型func是A.a -> unit。