カリー化
たとえば、除算の関数 div  ( x , y ) = x / y {\displaystyle \operatorname {div} (x,y)=x/y} をカリー化したものを cdiv  ( x ) {\displaystyle \operatorname {cdiv} (x)} とすると、 cdiv  ( x ) {\displaystyle \operatorname {cdiv} (x)} は x {\displaystyle x} のみを引数に取る。そして inv = cdiv  ( 1 ) {\displaystyle \operatorname {inv} =\operatorname {cdiv} (1)} とすると、 inv  ( y ) {\displaystyle \operatorname {inv} (y)} は y {\displaystyle y} のみを引数に取る新しい関数となり、 inv  ( y ) = 1 / y {\displaystyle \operatorname {inv} (y)=1/y} 、つまり引数の逆数を返す関数になる。
この例をSchemeとJavaScriptで実装した例を示す。