理解Haskells类型签名（例如zip with with（+））

Posted 2021-03-31

我有一个关于Haskell中的类型签名的问题，我发现有时候有点难以解决。例如，zipWith的类型签名是：

zipWith :: (a -> b -> c) -> [a] -> [b] -> [c]

我在这里看到的是zipWith期望一个函数（参数类型为a和b），一个列表与as，一个列表与bs，它给我们一个cs列表。但是我并不知道为什么我可以使用zipWith和(+)，它有签名：

(+) :: a -> a -> a

从我的观点来看，(+)的签名与(a -> b -> c)的签名不符。 (+)只需要a类型的参数，而(a -> b -> c)则需要不同类型的参数：a和b。任何人都可以给我一个暗示我的错吗？

答案

(a -> b -> c)表示任何采用a类型和类型b并返回类型c的函数。没有什么可以阻止你使用具有签名(a -> a -> a)的函数，只是碰巧在这种情况下类型都是相同的。

假设您有一个带有此签名的方法：

zipWith' :: (a -> a -> a) -> [a] -> [a] -> [a]

在这种情况下，您无法使用具有(a -> b -> c)签名的方法，因为预期的方法签名更具限制性。