部分申請

部分應用程式意味著呼叫一個引數少於它的函式,並將結果儲存為另一個函式(等待其餘引數)。

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

作為一個學術的阿里納斯,榆樹能做到這一點,因為柯里在幕後。