list - 标准 ml 排序 3 个元素

Question

我正在尝试制作一个标准的 ml 函数，它以 3 个元素作为输入并返回一个从最小到最大排序的排序列表。我使用了 3 个辅助方法来获取最小、最大和中间元素。代码如下：

- fun min3 (a, b, c):real = 
    if a < b andalso a < c then a
        else if b < a andalso b < c then b
        else c;

- fun mid3 (a, b, c):real = 
    if (a < b andalso a > c) orelse (a > b andalso a < c) then a
        else if (b < a andalso b > c) orelse (b > a andalso b < c) then b
        else c;

- fun max3 (a, b, c):real = 
    if a > b andalso a > c then a
    else if b > a andalso b > c then b
        else c;

- fun sort3 (a, b, c):real = 
    min3(a, b, c)::mid3(a, b, c)::max3(a, b, c)::[];

以下在处理整数时效果很好，但是当我将它们更改为实数时，辅助方法返回了正确的结果，但是在键入以下排序方法时出现错误（无法复制错误文本，所以我截屏了） ：

代码中可能有什么问题？谢谢

另外，除了我在这里发布的方式之外，还有另一种对 3 个元素进行排序的方式吗？

Answer 1

更改类型时，您对sort3. 错误消息告诉您，您声明sort3返回一个实数，而实际上它返回一个实数列表。