为什么 OCaml 编译器会给出有关类型推断的错误消息？

如何解决为什么 OCaml 编译器会给出有关类型推断的错误消息？

我已经在 OCaml 中编写了这个辅助函数，但它不断抛出这个错误。

代码：

let rec helper1 f lines d =
        match lines with
        | [] -> None
        | h::t when ( helper2 f h 0) <> -1 -> Some (d,(helper2 f h 0))
        | _::t -> helper1 f t d+1;;

错误：

|_::t -> helper1 f t d+1;;
          ^^^^^^^^^^^^^
Error: This expression has type ('a * int) option
       but an expression was expected of type int

我需要将类型设为 ('a *int) option，据我所知它看起来没问题。我是 OCaml 的新手，任何帮助将不胜感激！

解决方法

这是学习OCaml时的一个常见问题。你假设，

f x+1

是解释器

f (x+1)

实际上它的意思是，

(f x) + 1

更正式地说，在 OCaml 中，函数应用运算符（被表示为函数名称及其参数的并列）比中缀运算符（例如，+， -、* 等）。

现在错误消息有一个清晰的解释，因为你有

helper1 f t d + 1

编译器看到您向 helper1 f t d 添加了一些东西 (1) 并推断出这东西的类型应该是 int。另一方面，从其他出现的 helper1 也推断它具有类型 ('a * int) option，这显然不是 int。所以它表示一个错误。