警告：调用 polyEqual

Question

有人可以解释一下，这个警告是什么意思吗？

stdIn:18.35 Warning: calling polyEqual

为什么我在下面的语句中使用“a”而不是“a”：

val alreadyVisited = fn : ''a * ''a list -> bool

这是我的函数：

fun alreadyVisited(v, []) = false
    | alreadyVisited(v, x::xs) = if(x=v) then true
        else alreadyVisited(v, xs);

Answer 1

'a 表示“任何类型”，而 ''a 表示“可以比较相等性的任何类型”。由于您的 alreadyVisited 函数使用 =、x 和 x 和 v >v 需要有一个支持比较它们是否相等的类型，因此您会得到类型 ''a。

该警告意味着您正在比较两个具有多态类型的值是否相等。

为什么这会产生警告？因为它比比较已知类型的两个值是否相等效率较低。

你如何摆脱警告？通过将您的函数更改为仅适用于特定类型而不是任何类型。

你应该关心这个警告吗？可能不会。在大多数情况下，我认为拥有一个适用于任何类型的函数比拥有最有效的代码更重要，所以我会忽略警告。