SML中的自定义比较器排序？

Question

我在 SML / SMLNJ 中遇到了这个问题，我希望得到一些指导。 所以我有一个问题，我需要创建一个名为 insertSorted 的函数，它需要一个数字、一个比较语句和一个需要插入的（假定排序的）列表。我不知道如何着手解决这个问题，所以任何帮助都会很棒。

我的想法是将两个列表拆分到数字所在的位置，插入数字，然后连接两个列表。

fun insertSorted (x, comp, []) = [x] 
  |  insertSorted (x, comp, a::rest) = ...

更新：我现在走得更远了，我只需要知道如何调试它，有什么指导吗？

fun insertSorted (x, []) = [x]
 |  insertSorted (x, y::ys) = 
    if (x < y)
        then x::y::ys
    else if (x > y) 
        then y::x::ys
    else y::insertSorted (x, ys);

更新 2：我的新目标是弄清楚如何将这两个函数合并为一个。最终命名为 insertSorted。

fun insertSorted (x, nil) = [x]
 |  insertSorted (x,y::ys) = if x<y then x::y::ys else y :: insertSorted (x,ys);

fun insertSorted (x, nil) = [x]
 |  insertSorted (x,y::ys) = if x>y then y::x::ys else y :: insertSorted (x,ys);

Answer 1

分三种情况：

1. 列表是nil。
   • 您已经了解了这一点。 :-)
2. 列表不是nil，并且它的第一个元素小于x，所以我们需要不断寻找在哪里插入x。
   • 在这种情况下，结果应该是第一个元素，然后是插入 x 到列表其余部分的结果。
3. 列表不是nil，它的第一个元素大于等于x，所以我们可以在这里插入x。
   • 在这种情况下，结果应该是x，后跟整个列表。

区分案例#2和#3涉及if/then/else；实现案例 #2 涉及递归。