Go backward to Applicative Language Go up to Top Go forward to Scoping Rules

Pure LISP

See Figure 7.5

• Program = expression.
• Result = denotable value.
• Functions, lists, atoms. Denotable-value = ((Denotable-value -> Denotable-value) + Denotable-value^* + Atom + Error)_{_|_}.
• Static scoping used

  Function body is evaluated in the context active at point of definition (not at point of use).

Language allows self-applicative behavior!