部分应用程序意味着以比其更少的参数调用一个函数,并将结果保存为另一个函数(等待其余的参数)。
multiplyBy: Int -> Int -> Int multiplyBy x y = x * y multiplyByTwo : Int -> Int -- one Int has disappeared! we now know what x is. multiplyByTwo = multiplyBy 2 > multiplyByTwo 2 4 : Int > multiplyByTwo 4 8 : Int
作为学术注释,Elm之所以能够做到这一点,是因为在幕后进行了粗鲁的讨论。