SML という言語のテキストを読んでいて、これまで自分がカリー化という言葉をよく理解せずに使っていたことに気付きました。どうやら部分適用の概念と混同していたようです。一般に、ML や Haskell のような関数型言語においては、カリー化とは n 要素タプル…