Functional programming “使用”的目的是什么：&引用；在OCaml函数声明中

OCaml语句的真正含义是什么

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

#rest of the function

这是否意味着它需要A.A型v和返回装置

或者它需要两个参数，v和A.A，然后返回一个单位

或者它接受一个带有参数a.a的函数v并返回一个单位

还是别的什么

---

1，也许3。在OCaml中，函数是值，如果

A.A

是函数类型，则

func

的第一个参数是函数。

让func（v:A.A）：单位=

第一个

：

表示

v是一个参数，其类型应为a.a

第二个

：

表示

func应返回一种类型的单位

表示1

也就是说，如果

v

具有类型

A.A

，则

func v

具有类型

单元

或者，等价地，
func
的类型是
A.A->unit
 那么：这里的单位是返回类型？或者unit是整个（v:A.A）语句的类型？是的，最后一个
：没有括号的东西是整个函数的返回类型。我希望在OCaml手册的一开始就对此进行解释，但我找不到一个词。是的，这就是我在这里发布的原因。