compiler-errors - 编写一个函数 `smallest_absent t`，该函数返回 `l`中不存在的最小自然整数

Question

编写签名函数smallest_absent : int_list -> int，例如调用smaller_absent l返回l中不存在的最小自然整数

let smallest_absent l =
match l with
|[] -> 0
|_ -> let m = ref (0,false) in
        while !m.(1) = false do
        if (mem l m.(0)) then !m.(1) := true ;
        else incr(m.(0));
        done;
    !m.(0);;

错误:

> while !m.(1) = false do
this expression is of type int * bool, but is used with the type 'a vect>`

我想知道我的代码出了什么问题。并且如果它在概念上是正确的。谢谢。

Answer 1

类型错误说明了一切:您正在尝试在_.(1)和int的元组上使用 vector 查找bool。

您正在寻找的功能是 snd : 'a * 'b -> 'b 。

同样，您应该使用 m.(0) 而不是fst !m来编写fst : 'a * 'b -> 'a