if then else
lambda
The expression if Ec then Et else Ef is a conditional expression. It executes as follows:
if
Ec
then
Et
else
Ef
If Ec deflates to true, execute Et.
true
If Ec deflates to false, execute Ef.
false
If Ec deflates to a non-Boolean value, halt.
If Ec halts silently, halt.
::=
The type of if Ec then Et else Ef is the join of the types of Et and Ef. Additionally, Ec must have type Boolean.
Boolean
"WARNING: This example requires Javascript to be rendered correctly. Please enable it in your browser."
Related Reference Topics
Booleans
Ift
Iff
