SML [圓形]錯誤

Question

我想寫一個函數，只從列表中提取奇數。喜歡的東西：

fun odd(nil) = nil 
    | odd(a::nil) = a 
    | odd(a::(b::c)) = a::odd(c); 

但它會導致這個錯誤：

operator and operand don't agree [circularity]

Answer 1

在你的第二個案例odd(a::nil) = a返回a，這是一個單一的元素。在另外兩種情況下，你會返回一個列表。如果您將其更改爲odd(a::nil) = [a]，那麼所有情況都會返回一個列表，它會起作用。