|
|
@@ -127,7 +127,7 @@ Das bezeichnet die Lazy-Evaluation von booleschen Ausdrücken.
|
|
|
Die Call-By-Value Auswertungsreihenfolge wird in C und Java verwendet.
|
|
|
Auch in Haskell werden arithmetische Ausdrücke in der Call-By-Name Auswertungsreihenfolge reduziert.
|
|
|
|
|
|
-\section{Church-Zahlen}
|
|
|
+\section{Church-Zahlen}\xindex{Church-Zahlen}
|
|
|
Im $\lambda$-Kalkül lässt sich jeder mathematische Ausdruck darstellen, also
|
|
|
insbesondere beispielsweise auch $\lambda x. x+3$. Aber \enquote{$3$} und
|
|
|
\enquote{$+$} ist hier noch nicht das $\lambda$-Kalkül.
|
Martin Thoma