Welche elegant und Turing-Maschinen komplett * wissen Sie das? Gibt es ein ein aus dem Buch?

Question

Lambda-Kalkül natürlich ist sehr elegant, aber ist es nicht stören, dass diese Asymmetrie zwischen Eingang und Ausgang einer Funktion? D. h Sie können die Funktion übernehmen zwei Parameter machen (durch eine Funktion zurückkehrt), aber man kann es nicht zwei Werte machen zurückzukehren. Ich glaube nicht, dass wir es in The Book .

Answer 1

Sie können es eine Funktion machen zurückkehren , deren Auswertungen zurückgeben zwei Werte.

Answer 2

Sie können auch eine Verbindung Struktur zurück. Genau wie eine Vektorfunktion, die einen Vektor zurückgibt, die in dort separate Komponenten hat.

BTW was macht Ihren Kopf Frage mit der eigentlichen Frage zu tun haben Sie gefragt haben?