在 OCaml 中实现快速排序：不明白出了什么问题？

Question

我正在尝试在 OCaml 中实现快速排序算法，我以为我有它，但它不会编译，我只是看不出它有什么问题。这是我的代码：

let rec quicksort list =
    match list with
    [] -> []
    |h::t -> append((quicksort (filter (largerthan h)
    t))(quicksort(filter (smallerthan h) t)));;

let largerthan x y =
    x<y;;

let smallerthan x y =
    x>y;;

let rec append x y =
match x with
[] -> y
| h::t -> h:: append t y;;  

let rec filter f list =
   match list with
   [] -> []
   |h::t -> (if f h = true then h:: filter f t else filter f t);; 

现在，当我尝试在 OCaml 中使用它时，它显示“错误：此表达式的类型为 'a -> 'b 但是在指向我的快速排序函数的最后一行时，需要一个类型为“a”的表达式。

有人知道怎么回事吗？

非常感谢！

莱纳斯

编辑：好的，我已经摆脱了原来的错误（感谢 ADEpt :)）。但是，现在无论输入如何，该函数都只输出一个空列表...有人知道那里发生了什么吗？？

Answer 1

您在“应用”调用中有额外的括号。而不是：

append((快速排序(过滤器(大于h)) t))(快速排序(过滤器(小于h) t))

这样写：

追加（快速排序（过滤器（大于h）t）） (快速排序(过滤(小于h)t))

Answer 2

对于您的“第二个”问题：您忘记将 h 添加到排序列表中......

Answer 3

OCaml 按照您传递的顺序编译您的程序。对此非常严格。如果你使用某些东西，你需要在使用它之前给予它。如果您替换了一个定义，之后将使用新定义，但在此之前使用旧定义。

从上到下查看您的代码，会发生以下情况：

let rec quicksort list =
    match list with
    [] -> []
    |h::t -> append((quicksort (filter (largerthan h)
    t))(quicksort(filter (smallerthan h) t)));;

此时还没有largerthan、smallerthan、filter或append的定义，所以编译器不知道该怎么处理。

重新排序你的代码，几个问题就会消失。