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

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

The let 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₁ e₁)
      ...
      (n_k e_k))
  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.