haskell - 第二个参数如何变成函数列表？

Question

我在玩 zipWith并遇到以下情况:

Prelude Control.Applicative> :t zipWith id
zipWith id :: [b -> c] -> [b] -> [c]

为什么编译器期望下一个参数是函数列表？

我试图分析，但无法得出结论，为什么下一个参数必须是函数列表。

当我通过时，签名是如何申请的 id至 zipWith ?

Answer 1

zipWith的类型是:

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

和 id的类型是:

id :: d -> d

所以如果我们现在想要派生 zipWith id 的类型，我们推送的类型是 id :: d -> d进入 zipWith的第一个参数的类型:

  d -> d
~ a -> (b -> c)

所以这意味着: a ~ d和 a ~ b -> c .所以这意味着 zipWith id 的类型就是现在:

   zipWith id :: [a] -> [b] -> [c]
-> zipWith id :: [b -> c] -> [b] -> [c]

这是如何工作的:第一个列表必须包含一个函数列表 f :: b -> c ，以及第二个列表，一个元素列表 x :: b ，从而计算出一个元素列表 f x :: c .

例如:

Prelude> zipWith id [(+1),(5/),(3*),(3-)] [1,4,2,5]
[2.0,1.25,6.0,-2.0]

自 1+1是 2.0 , 5/4是 1.25 , 3*2是 6.0和 3-5是 -2.0 .

所以 zipWith id将采用两个元素 f和 x , 并申请 id f x关于这些，或更详细的 (id f) x .自 id f是 f ，它将因此计算 f x .

因此我们可以得出结论 zipWith是元素映射。