Que máquinas elegantes e Turing-completos * Você sabe que? Existe um do Livro?

Question

Lambda calculus, claro, é muito elegante, mas não te incomoda que haja essa assimetria entre a entrada e saída de uma função? Ou seja, você pode fazer a função de tomar dois parâmetros (retornando uma função), mas você não pode fazê-lo retornar dois valores. Eu não acho que nós poderíamos encontrar em O Livro .

Answer 1

Você pode fazê-lo retornar um função cujas avaliações retornar dois valores.

Answer 2

Ou você pode retornar uma estrutura composta. Assim como uma função de vetor que retorna um vetor, que tem componentes separados lá.

BTW o que faz a sua pergunta cabeçalho tem a ver com a questão real que você pediu?