The <span>let</span> name binding expression

A name binding expression establishes a number of local name bindings in order to ease the evaluation of a body expression

 
(let ((n<sub>1</sub> e<sub>1</sub>)
       ...
      (n<sub>k</sub> e<sub>k</sub>))
    body-expr)

Characteristics of a let construct:
- In body-expr n₁ refers to the value of e₁ , ..., and n_k refers to the value of e_k
- Syntactic sugar for an immediate call of a lambda expression
  - To be illustrated on the next page
- As a consequence, the names are bound simultaneously relative to the name bindings in effect in the context of the let construct.