Scheme (programming language)

Scheme (programming language)
Luks · Public domain · source
Name	Scheme
Paradigm	Multi-paradigm: functional, procedural, metaprogramming
Designer	Guy L. Steele Jr.; Gerald Jay Sussman
Developer	Massachusetts Institute of Technology
First appeared	1975
Typing	Dynamic, strong
Implementations	Racket, Guile, Chicken, MIT/GNU Scheme
Influenced by	Lisp, ALGOL, Lambda calculus
Influenced	Racket, Common Lisp, Clojure

Scheme (programming language) Scheme is a minimalist dialect of Lisp developed for research and education that emphasizes a small standard core with powerful abstraction mechanisms. Originating in the 1970s, Scheme informed the design of many languages and programming models and remains influential in academic curricula, compiler research, and language design communities.

History

Scheme was created in 1975 by Guy L. Steele Jr. and Gerald Jay Sussman at the Massachusetts Institute of Technology during research stemming from discussions around Lisp and ALGOL 60, influenced by foundational work in the Lambda calculus and early systems such as MACLISP. Early implementations and reports circulated within the Artificial Intelligence Laboratory and at conferences like the ACM SIGPLAN. Subsequent milestones include the publication of the influential textbook "Structure and Interpretation of Computer Programs" associated with Harold Abelson and Gerald Jay Sussman, the development of Revisedn Report standards (e.g., Revised^5 Report on the Algorithmic Language Scheme (R5RS)) debated at gatherings such as International Conference on Functional Programming, and the growth of implementations at institutions including Rice University and University of Cambridge.

Design and semantics

Scheme's design centers on a minimal core with lexical scoping, first-class procedures, and a uniform representation of code and data tracing to Lisp heritage, shaped by theoretical work by researchers such as John McCarthy and Alonzo Church. The language semantics emphasize tail-call optimization rooted in continuations and formalized in studies by Christopher Strachey and system descriptions at venues like ACM SIGPLAN Conference on Programming Language Design and Implementation. Scheme introduced hygienic macros influenced by John Foderaro-style macro theory and the Macro Expansion literature, and its treatment of continuations and control operators has been analyzed in papers from ACM workshops and International Symposium on Principles of Programming Languages proceedings. Formal semantics work by figures tied to Carnegie Mellon University and MIT linked Scheme to lambda-calculus models and denotational semantics.

Syntax and features

Scheme uses S-expression syntax inherited from Lisp and popularized in texts like "Structure and Interpretation of Computer Programs" that also influenced curricula at MIT and Harvard University. Core features include first-class procedures and lexical closures discussed in research from University of California, Berkeley and Stanford University, a minimal set of special forms (e.g., quote, lambda, if) consistent with descriptions from ACM literature, and tail-call elimination required by the Revised^n Report specifications. Scheme supports continuations via call-with-current-continuation, a control construct studied in papers presented at International Conference on Functional Programming and by researchers at INRIA. Hygienic macro systems such as syntax-case evolved through collaboration among groups at Indiana University and University of Utah, while numeric tower semantics and exactness concepts were formalized in standards discussed by participants from Xerox PARC and Bell Labs.

Standardization and implementations

Scheme's standardization progressed through the Revisedn Reports (R4RS, R5RS, R6RS, R7RS) coordinated by committees including contributors from MIT, INRIA, and industry labs such as Nokia Research Center; each revision sparked debates at forums like ACM SIGPLAN and meetings hosted by European Lisp Symposium. Major implementations include Racket (originating from the PLT research group at Rice University), GNU Guile (part of the GNU Project), Chicken Scheme (developed by contributors linked to University of Cambridge), and MIT/GNU Scheme developed within MIT. Implementations have been presented at conferences including International Conference on Functional Programming and showcased in workshops at European Conference on Object-Oriented Programming.

Libraries and ecosystem

Scheme's ecosystem comprises module systems and language workbenches such as those in Racket developed by teams at Rice University and collaborators from University of Chicago, extensions for scripting in GNU Guile used by the GNU Project community, foreign function interfaces for systems research at Bell Labs and X Consortium, and package catalogs maintained by community groups inspired by practices at Debian and FreeBSD. Teaching-oriented libraries stemming from MIT courses and contributions from Harvard University provide pedagogical tooling, while numerical and graphics libraries developed by contributors from INRIA, University of Edinburgh, and industrial partners support scientific computing and visualization.

Applications and influence

Scheme has been used in academic instruction at institutions including MIT, Harvard University, UC Berkeley, and Carnegie Mellon University and influenced language design for projects such as Racket and Clojure through ideas circulated at conferences like ACM SIGPLAN and International Conference on Functional Programming. Its concepts influenced macro systems and module design in languages engineered at Xerox PARC and industry groups like Sun Microsystems and inspired research implemented in tools from Google and open-source communities such as GNOME. Scheme's role in compiler research, language prototyping, and pedagogy continues to be cited in proceedings from ACM and IEEE venues and in textbooks used across universities.

Category:Programming languages