Лямбда-исчисление, конечно, довольно элегантно, но вас не беспокоит, что существует такая асимметрия между входом и выходом функции? То есть вы можете заставить функцию принимать два параметра (возвращая функцию), но вы не можете сделать так, чтобы она возвращала два значения.
Я не думаю, что мы могли бы найти это в Книге .