Ошибка SML [roundity]

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], значит, все случаи возвращают список, он работает.