标准ml快速排序

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采用列表参数