カリー化 = 部分適応じゃないらしい

部分適応（関数の引数を束縛） = カリー化だと思ってたら違ってた。
カリー化について - ema log (2008-02-03)

関数の引数の一部を固定することが部分適応で，部分適応できるように関数を変形することがカリー化

うわー、思いっきり勘違いしてた。
しかも、引数に値を束縛するのを部分適応って呼ぶのも初めて知った。

今までもやもやしてたのが分かってスッキリした。