哈斯克尔咖喱地图

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]

或者，您可以在列表上进行模式匹配，或在列表理解中使用它，或使用(!!)或or或or ...为它建立索引，这有无穷的可能性。

Answer 2

(+) :: Num a => a -> a -> a ; 它接受一个数字并返回增加其参数的函数。

map (+) [1, 2, 3]等效于[(+ 1), (+ 2), (+ 3)] 。 使用此类函数列表的一种方法是与[]的Applicative实例一起使用，它允许您将列表中的每个函数应用于另一个列表中的每个值。 例如：

[(+ 1), (+ 2), (+ 3)] <*> [5] == [6, 7, 8]