合并排序程序中的 Ocaml 类型错误

Question

我正在尝试在 OCaml 中编写一个简单的合并排序代码，该代码还删除了重复项。

我写的代码是：

let mergesort l r = 
match l with 
    [] -> []
|   [x]-> [x]
| x::xs ->  let rec split l3 =
                match l3 with
                    []   -> ([], [])
                |   [h]  -> ([h], [])
                |   h1::h2::t -> let (left, right) = split t in
                                    (h1::left, h2::right) in
            let rec merge l1 l2 r = 
                match (l1, l2) with
                    ([], []) -> []
                |   ([a], []) -> [a]
                |   ([], [a]) -> [a]
                |   (a1::t1, a2::t2) -> if a1 = a2 then (a1::(merge (t1) t2))
                                        else if r(a1, a2) then (a2::(merge t1 (a2::t2)))
                                        else (a1::(merge (a1::t1) t2)) in
            let (l3, l4) = split l in
                merge (mergesort l3 r) (mergesort l3 r) r;;

我的合并函数出现以下类型错误：

|(a1::t1, a2::t2) -> 如果 a1 = a2 那么

(a1::(合并 (t1) t2))

错误：此表达式的类型为 'a -> 'b 列表 但是需要一个类型为 'b list

的表达式

我不知道为什么会出现此错误，因为合并中的所有分支都返回相同类型的列表。

有人可以帮忙吗？

Answer 1

您的代码中有几个问题：

• 在 cmets 中提到，merge 函数有 3 个参数，但你用 2 个参数调用它，
• mergesort 函数被递归调用，但它没有被声明为recursive。

这是existing implementation。