ocaml 中的类型不匹配答案

【问题标题】：Type Mismatch in ocamlocaml 中的类型不匹配
【发布时间】：2015-05-28 06:16:39
【问题描述】：

我正在尝试使用以下代码递归查找 ocaml 列表中的第 n 个元素。

let rec get_val x n = match x with
    [] -> -1
    | h::t -> if (n=0) then h else get_val t (n-1)
;;

print_int get_val [1; 2; 3] 1;;

但是这段代码给了我错误

This function has type int -> unit
It is applied to too many arguments; maybe you forgot a `;'.

【问题讨论】：

【解决方案1】：

您的定义要求两个单独的参数（即，它是 curried）。但是你传递了一对参数(t, n - 1)。这些不是一回事。

要解决此问题，请将递归调用更改为 get_val t (n - 1)。

当列表太短时，您可能会考虑引发 Not_found 异常。这样您的代码将适用于所有类型的列表。

更新

现在错误出现在您测试函数的行中。你也需要括号。

（您不应该不断更改您的代码。稍后访问此页面的人将无法关注问题和答案。）

【讨论】：