部分申请

部分应用程序意味着调用一个参数少于它的函数，并将结果保存为另一个函数（等待其余参数）。

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

作为一个学术的阿里纳斯，榆树能做到这一点，因为柯里在幕后。