Haskell curry map

Question

所以我知道你可以:

> f = map (+1)
> f [1,2,3]
[2,3,4]

但是，如果您这样做会怎样:

> g = map (+) [1,2,3]
> :t g
g :: Num a => [a -> a]

我不确定如何使用 g。它的输入和输出是什么？

Answer 1

例如，可以将列表的每个元素应用于特定值:

> map (\f -> f 3) g
[4,5,6]

或者您可以将列表中的每个函数应用于另一个列表中相应位置的值:

> zipWith (\f x -> f x) g [30,300,3000]
[31,302,3003]

或者你可以在列表上进行模式匹配，或者在列表理解中使用它，或者用 (!!) 索引它，或者，或者，或者......有无限的可能性。