smwikipedia's questions

红框里的类型信息为什么不是：'a -> 'a -> 'a -> 'a -> 'a？

我认为所有参数和返回值都应该是同一类型，并且 utop 确实确认它们都是同一Z.t类型。

utop # let rec fib_acc = fun n -> fun n_1 -> fun n_2 -> fun acc ->
  if (Z.equal n Z.one) || (Z.equal n (Z.of_int 2)) 
  then acc
  else fib_acc (Z.add n Z.minus_one) n_2 (Z.add n_1 n_2) (Z.add n_1 n_2);;
val fib_acc : Z.t -> Z.t -> Z.t -> Z.t -> Z.t = <fun>

(我正在学习 OCaml，这可能是一个幼稚的问题。)

我使用下面的代码来定义一个命名函数a：

utop # let a = fun x -> x+1;;
val a : int -> int = <fun>

请注意，前导val a清楚地显示为函数的名称。

然后我尝试查看该函数的类型信息a：

utop # a;;
- : int -> int = <fun>

前面有一个-，表示匿名。

但我给它起了个名字a。

为何不显示？