Quelles machines élégantes et complètes-Turing * que vous connaissez? Y a-t-il un extrait du livre?

Question

Bien sûr, le calcul lambda est assez élégant, mais cela ne vous gêne-t-il pas qu'il existe une asymétrie entre l'entrée et la sortie d'une fonction? C'est à dire. vous pouvez faire que la fonction prenne deux paramètres (en retournant une fonction) mais vous ne pouvez pas lui faire renvoyer deux valeurs. Je ne pense pas que nous pourrions le trouver dans le The Book .

Answer 1

Vous pouvez lui faire renvoyer une fonction dont les évaluations renvoient deux valeurs.

Answer 2

Ou vous pouvez retourner une structure composée. Tout comme une fonction vectorielle qui renvoie un vecteur qui contient des composants distincts.

BTW, qu'est-ce que votre question d'en-tête a à voir avec la question que vous avez posée?