Haskell - 寻找一般类型

Question

我是 Haskell 的新手，我在查找类型方面遇到了问题

f x y = f y x

GHCI 给我:a->a->b

但是我不明白为什么。谁能给我解释一下？

Answer 1

如果可以同时使用 x(左侧)和 y(右侧)作为 f 的第一个参数，它们必须是同一类型。这就是 a -> a 的来源。

您的函数将无限递归而不返回任何内容，因此您可以正确地声称它具有任意返回类型，因为在任何情况下它都不会因返回另一种类型的值而被伪造，因为它永远不会返回。这就是任意 b 的来源。