部分申請

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

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

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