如何在SML/NJ中使用LIST_SORT函数？

Question

我不知道如何正确地使用该函数对SML/NJ (新泽西州标准ML )中的列表进行排序。

这是手册：这里

以一个用例为例，例如排序(1,9,3,4)；以便得到1,3,4,9。

Answer 1

简单地说，下面是语法：

ListMergeSort.sort (fn(x,y)=> x>y) [3,5,6,7,4,3,7,9,1,2,3];

解释： ListMergeSort:因为这是文档中提供的结构：

简要说明 signature LIST_SORT structure ListMergeSort : LIST_SORT LIST_SORT签名指定用于列表应用排序的接口。

此后，排序函数需要两个参数，从接口可以看出：

val sort : (('a * 'a) -> bool) -> 'a list -> 'a list 

1. 一个接受两个参数并返回一个boolean：(('a * 'a) -> bool)的函数--这是我动态定义的匿名函数的例子： fn(x,y)=> x>y

它接受两个参数，并返回一个boolean。这两个参数由sort函数提供，它将传入要排序的列表中的元素。

1. 需要分类的清单，例如: 3,5,6,7,4,3,7,9,1,2,3