sml - 标准毫升快速排序

Question

我正在尝试用 ml 解决一个问题，但我有点卡住了。原谅我这是微不足道的代码，但回答它会解决我的大部分问题。

代码：

val sorted = ([3, 2, 1], [5, 8, 4]);
fun loop ([]) = []
  | loop (x::xs) = [3] @ [4];
loop sorted;

错误：

Error-Can't unify 'a list with int list * int list (Incompatible types) Found near loop (sorted)
Static errors (pass2)

Answer 1

sorted是两个列表的元组。loop接受一个列表参数