如何在整數列表中找到最小值？

Question

fun min [] = [] | min (h::t) = if h < (min t) then h else (min t) 

爲什麼上面給出錯誤？ 請幫忙！ 謝謝！

錯誤消息：

stdIn:1.37 Error: overloaded variable not defined at type 
    symbol: < 
    type: 'Z list 

Answer 1

在空列表的情況下，將返回一個空的列表，其類型與類型元件如h或min t不兼容。

一些更正：

1. 空單是你沒有的最小值一個特例。您應該舉例說明，例如Empty。
2. 您忘記了只包含一個元素的列表的基本情況。

因此函數的骨架是：

fun min [] = raise Empty 
    | min [x] = ... 
    | min (x::xs) = ... 

Answer 2

這可能是更好的利用可選項的形式在這種情況下。您將避免必須處理異常，但無論您在哪裏調用此函數，都將被迫正確處理NONE情況。

fun smallest [] = NONE 
    | smallest (x::xs) = case smallest xs of 
         NONE => SOME x 
        | SOME y => if x < y 
           then SOME x 
           else SOME y