SML/NJ 功能错误

Question

我想要一个函数，它接受一个整数列表并返回排序后的列表（从左到右递增）。这必须通过使用这两个函数来完成：

datatype tree=Empty
        | Node of int*tree*tree;
fun treeinsert(Empty,k) = Node(k,Empty,Empty)
  | treeinsert(T as Node(y,left,right),k) =
       if k=y then T
       else if k<y then Node(y,treeinsert(left,k),right)
       else Node(y,left,treeinsert(right,k));

fun inOrder(Empty) = nil
  | inOrder(Node(a,left,right)) =
     inOrder(left)@[a]@inOrder(right) ;

所以我做了这个函数，它的问题是总是返回一个空列表。

val y=Empty;
fun treesort(x::xs)=let val y=treeinsert(Empty,x)
                    in treesort(xs)
                    end
  |treesort []=inOrder(y);

我做错了什么？提前谢谢你..

Answer 1

在这部分：

let val y=treeinsert(Empty,x)
in treesort(xs)
end

你从函数返回的是treesort(xs)，但你没有用x或y做任何事情，所以你将继续用xs递归直到xs是[]点你会退货的。

Answer 2

您在第 2 行定义的变量 y 在第 3 行的 in 到第 4 行的 end 的范围内。您从不在该代码块中使用它，因此该变量未使用，并且因此不会影响程序的行为（除了在您定义它时会调用treeInsert 的事实）。当您在第 5 行使用 y 时，这指的是您在第 1 行定义的变量 y，因为另一个不在范围内。

重要的是要理解第 1 行定义的变量和第 2 行定义的变量是完全独立的，只是碰巧有相同的名称（这意味着第 1 行中的变量不能被访问，而另一个是在适用范围）。你的程序相当于这样：

val y1 = Empty;
fun treesort(x::xs)=let val y2=treeinsert(Empty,x)
                    in treesort(xs)
                    end
  |treesort []=inOrder(y1);

这应该清楚为什么它不能按您的意愿工作。