OCaml在这种情况下如何推断类型？

Question

type 'a lazy_node = 
    | Empty 
    | Node of 'a * 'a lazy_list 
and 'a lazy_list = 'a lazy_node lazy_t 

let con x zl = lazy (Node (x,zl)) 

所以这里应该定义两种类型：'a lazy_node和'a lazy_list。

我认为con的类型将是'a -> 'a lazy_list -> 'a lazy_list

然而，实际上，当我在utop试了一下，给了con这样的类型：

val con : 'a -> 'a lazy_list -> 'a lazy_node lazy_t = <fun>

---

为什么返回类型不是'a lazy_list？ OCaml在这种情况下如何推断？

Answer 1

在您的代码lazy_list不是一个新类型，但只是lazy_node lazy_t的别名。而Ocaml类型的参与者只考虑真实类型，而不是别名。所以它推断出真正的类型，并且不检查是否有这种类型的别名。

别名用于参数，因为Node (x,zl)意味着zl的类型为'a lazy_list。

您可以添加类型注释强制使用别名：

let con x zl: 'a lazy_list = lazy (Node (x,zl))