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] ，所以所有情况都返回一个列表，它有效。