Какие элегантные машины с полным набором функций по Тьюрингу * вы знаете?Есть ли там что-нибудь из Книги?

Question

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

Answer 1

Вы можете заставить его вернуть a функция оценки которого возвращают два значения.

Answer 2

Или вы можете вернуть составную структуру.Точно так же, как векторная функция, которая возвращает вектор, в котором есть отдельные компоненты.

Кстати, какое отношение ваш вопрос в заголовке имеет к самому вопросу, который вы задали?