是否有可能只接受整数列表的Ocaml函数？

Question

我在Ocaml中编写了一个递归函数，该函数应该计算整数列表中的项数（是的，我知道有一个List.length函数，但我试图自己做）。然而，Ocaml编译器/解释器迫使我一直使用alpha列表。

所以说错了，当一个函数接受一个列表作为参数时，该列表的类型必须始终为alpha？由于

编辑：为什么它的不方便我使用阿尔法名单的原因是因为我不能由于类型匹配的投诉

Answer 1

易整数值阿尔法列表的头比较：

let length (lst : int list) = ... 

我有点困惑，比较会让你失望;与整数的比较应该将'a约束为int。例如，在

let length lst = match lst with 
    | x :: xs when x = 0 -> ... 

lst将有类型int list。