もちろん、ラムダ計算は非常に洗練されていますが、関数の入力と出力の間にこのような非対称性があることに気付きませんか? つまり、(関数を返すことによって) 関数が 2 つのパラメーターを取るようにすることはできますが、2 つの値を返すようにすることはできません。The Bookでは見つけられなかったと思います。
もちろん、ラムダ計算は非常に洗練されていますが、関数の入力と出力の間にこのような非対称性があることに気付きませんか? つまり、(関数を返すことによって) 関数が 2 つのパラメーターを取るようにすることはできますが、2 つの値を返すようにすることはできません。The Bookでは見つけられなかったと思います。