>>380

λ計算では、このような場合はカリー化という技法を使います。
なぜ多変数関数を直接に扱えない不便な定義にしたか、というと、
λ計算は現実のプログラミング言語ではなく数学理論なので
単純さを良しとしたからでしょう。