函数签名作为OCaml中的类型

Question

有没有办法宣布像

这样的东西

type do = ('a -> 'b)

OCaml中的

？具体来说，将函数签名声明为类型

Answer 1

对于免费类型<script src="https://cdnjs.cloudflare.com/ajax/libs/d3/3.4.11/d3.min.js"></script> <svg id="foo" height="200" width="400"></svg>和“svg，'a不是任何行为良好的OCaml函数的类型，因为它要求函数生成任意类型的值。” / p>

因此，您不能为具有未绑定参数的类型指定名称：

b

如果您使用特定类型，则为其命名没有问题：

'a -> 'b

如果类型类型# type uabfun = 'a -> 'b Error: Unbound type parameter 'a 和# type iifun = int -> int;; type iifun = int -> int 是参数（而不是免费），那么也没有问题：

'a