Conditional expressions

Name binding, Recursion, Iteration, and Continuations - slide 10 : 42

if and cond are special forms which evaluate their expressions according to the value of one or more boolean selectors

if and cond are not control structures when applied in the functional paradigm

(if bool-expr expr₁ expr₂)

(cond (bool-expr₁ expr₁)
      ...
      (bool-expr_k expr_k)
      (else expr_k+1))

if evaluates expr₁ if bool-expr is true, and expr₂ if bool-expr is false
cond evaluates the first expression expr_i whose guarding bool-expr_i is true. If bool-expr₁, ..., bool-expr_kare all false, the value of cond becomes the value of expr_k+1

HTML Header functions