Haskell 为什么是 [fst,snd]::[(a,a) -> a]

Question

我正在学习 Haskell，想知道为什么

[fst,snd] :: [(a,a) -> a]

我最初写的

[fst,snd] :: [(a,b) -> a, (c, d) -> d]

我不明白为什么会这样；有人可以解释一下吗？

谢谢

Answer 1

关键是，在 Haskell 中，列表是一种同构数据结构(当然，您可以有异构列表，但这是另一回事)。因此，当您将多态函数用作列表元素时，它们应该具有相同的类型。

在您的情况下，您使用的是 fst :: (a , b) -> a和 snd :: (a, b) -> b作为列表元素，它们 必须有相同的类型。为了确保这些类型的相同性，类型推断求助于一阶统一。统一

 (a , b) -> a

和

 (a , b) -> b

我们注意到以下替换使这些类型相等是

 [b +-> a] -- means substitute occurrences of b for a

将它应用于这两种类型，我们得到

 (a,a) -> a

正如 Haskell 告诉你的那样。