Sml 完成dijkstra&x27的代码;s代码(ML)

Sml 完成dijkstra&x27的代码;s代码(ML),sml,smlnj,ml,Sml,Smlnj,Ml,我需要帮助完成此代码: fun insertSorted(x, comp, []) = [x] | insertSorted(x, comp, a::rest) = ?? 如果书写正确,它将返回 - insertSorted(5, fn(a, b) => a > b, [8, 6, 3, 1]); val it = [8, 6, 5, 3, 1] 代码获取一个值、一个比较函数和一个列表,并返回一个与上面给出的列表类似的新列表。Comp用于确定列表中的值的顺序 以下是用英语完成

我需要帮助完成此代码:

fun insertSorted(x, comp, []) = [x]
  | insertSorted(x, comp, a::rest) = ??
如果书写正确,它将返回

- insertSorted(5, fn(a, b) => a > b, [8, 6, 3, 1]);
val it = [8, 6, 5, 3, 1]

代码获取一个值、一个比较函数和一个列表,并返回一个与上面给出的列表类似的新列表。Comp用于确定列表中的值的顺序

以下是用英语完成的内容:

  • 如果在
    a
    之前插入
    x
    ,则结果是
    x::a::rest
  • 否则,递归地将
    x
    插入
    rest
    并在结果前面添加
    a

翻译成ML left只是一个练习。

既然你没有说代码应该做什么,你怎么能指望有人就如何完成它提出建议?我可以猜测这是一种排序算法,也许是Dijkstra发明的。那又怎么样?如果有疑问,我会先从ASCII表中填写字符开始。@Simon'Monica'Shine我在底部添加了更多信息。