sml - 標準 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

sorted2 つのリストのタプルです。loopリスト引数を取ります