问深入理解赛跑的例子

EN

部分函数应用程序实际上并不是Haskell的一个独特特性；它只是仓促函数的结果。

map :: (a -> b) -> [a] -> [b]

在像Python这样的语言中，map总是使用两个参数:类型为a -> b的函数和类型为[a]的列表。

map(f, [x, y, z]) == [f(x), f(y), f(z)]

这要求您假装->语法只是为了显示，而(a -> b)和[a]之间的->与[a] -> [b]之间的语法并不完全相同。然而，情况并非如此；它是完全相同的运算符，而且它是正确的结合。map的类型可以显式地括号为

map :: (a -> b) -> ([a] -> [b])

突然之间，您可能只向map提供一个参数(函数)，并返回一个类型为[a] -> [b]的新函数，这似乎就没那么有趣了。这就是所有的部分函数应用是:利用所有函数都是草率的事实。

实际上，对于一个函数，您从来没有给出过一个以上的参数。为了配合->是右关联的，函数应用程序是左关联的，意思是一个“多参数”调用，如

map f [1,2,3]

实际上是两个函数应用程序，如果我们插入它，它就会变得更清晰。

(map f) [1,2,3]

map首先“部分”应用于一个参数f，该参数返回一个新函数。然后将该函数应用于[1,2,3]以获得最终结果。