Skip to content
◈ALB Atlas

Lambda: The Ultimate Imperative Alive

Lambda: The Ultimate Imperative
KindPaper
Published1975
StatusAlive
AuthorsSteele & Sussman
FieldProgramming languages
Sourcedspace.mit.edu ↗

The first Lambda Paper — the MIT AI memo arguing that Lisp's lambda could express everything other languages built special machinery for. Scheme came out of the experiment.

Created by Gerald Jay Sussman Guy L. Steele Jr.
Describes Scheme

Steele and Sussman set out to model Hewitt's actors in Lisp and discovered lambda already did the job — actors, closures, and continuations reduced to one construct. Their 1975 AI memo argued the 'ultimate' in programming primitives had existed since Church.

The experiment became Scheme: lexically scoped, first-class continuations, tail-call elimination — a deliberate minimal Lisp. The Lambda Papers (1975–80) established that small languages with exact semantics beat feature accretion; Scheme remains the standard example.

Sources

  1. dspace.mit.edu/handle/1721.1/6090
  2. en.wikipedia.org/wiki/Scheme_(programming_language)
  3. dspace.mit.edu/handle/1721.1/5731