Scheme

E24474

Lisp dialect programming language

Scheme is a minimalist, lexically scoped dialect of the Lisp programming language known for its elegant functional programming model and powerful macro system.

Try in SPARQL Jump to: Surface forms Disambiguation Statements Elicitation Referenced by

All labels observed (5)

Label	Occurrences
Scheme canonical	34
Scheme programming language	6
Chibi Scheme	1
R5RS	1
Scheme Language Steering Committee	1

How this entity was disambiguated

This entity first appeared as the object of triple T192110 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.

NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07

Target entity: Scheme
Context triple: [JavaScript, influencedBy, Scheme]

A. Emacs Lisp (for GNU Emacs environment)
Emacs Lisp is a dialect of the Lisp programming language used as the extension and scripting language of the GNU Emacs text editor.
B. Julia
Julia is a high-level, high-performance programming language designed for numerical computing, data science, and scientific research, combining the ease of dynamic languages with the speed of compiled languages.
C. CoffeeScript
CoffeeScript is a programming language that compiles to JavaScript, offering a more concise, Python- and Ruby-like syntax for writing web application code.
D. Algol 68
Algol 68 is a high-level, structured programming language from the ALGOL family, notable for its orthogonal design and influence on many later languages.
E. Ada (programming language)
Ada is a statically typed, high-level programming language designed with strong support for reliability, safety, and real-time systems, widely used in mission-critical and embedded applications such as aerospace and defense.
F. None of above. chosen
G. Unsure - the case is ambiguous/there is not enough information to decide.

NED2 Entity disambiguation (via description) gpt-5-mini-2025-08-07

Target entity: Scheme
Target entity description: Scheme is a minimalist, lexically scoped dialect of the Lisp programming language known for its elegant functional programming model and powerful macro system.

A. Emacs Lisp (for GNU Emacs environment)
Emacs Lisp is a dialect of the Lisp programming language used as the extension and scripting language of the GNU Emacs text editor.
B. Julia
Julia is a high-level, high-performance programming language designed for numerical computing, data science, and scientific research, combining the ease of dynamic languages with the speed of compiled languages.
C. CoffeeScript
CoffeeScript is a programming language that compiles to JavaScript, offering a more concise, Python- and Ruby-like syntax for writing web application code.
D. Algol 68
Algol 68 is a high-level, structured programming language from the ALGOL family, notable for its orthogonal design and influence on many later languages.
E. Ada (programming language)
Ada is a statically typed, high-level programming language designed with strong support for reliability, safety, and real-time systems, widely used in mission-critical and embedded applications such as aerospace and defense.
F. None of above. chosen

Statements (67)

Predicate	Object
instanceOf	Lisp dialect ⓘ programming language ⓘ
abbreviation	Scheme ⓘ
category	high-level programming language ⓘ
designedBy	Gerald Jay Sussman ⓘ Guy L. Steele Jr. ⓘ
evaluationStrategy	applicative order ⓘ
fileExtension	.scm ⓘ .ss ⓘ
firstAppearedIn	MIT AI Lab ⓘ linked to: Computer Science and Artificial Intelligence Laboratory (CSAIL)
hasFeature	call-with-current-continuation ⓘ continuations ⓘ dynamic typing ⓘ first-class procedures ⓘ garbage collection ⓘ homoiconicity ⓘ hygienic macros ⓘ lexical scoping ⓘ minimal core language ⓘ proper tail recursion ⓘ s-expression syntax ⓘ tail-call optimization requirement ⓘ
hasSyntax	prefix notation ⓘ
influenced	Clojure ⓘ linked to: Lisp programming language Common Lisp ⓘ Dylan ⓘ linked to: Bob Dylan JavaScript ⓘ Lua ⓘ Racket ⓘ Rust macro system ⓘ
influencedBy	ALGOL ⓘ linked to: ALGOL 58 ISWIM ⓘ Lisp ⓘ linked to: Lisp programming language
macroSystemType	hygienic macro system ⓘ
notableImplementation	Bigloo ⓘ Chez Scheme ⓘ Chibi Scheme ⓘ linked to: Scheme Chicken Scheme ⓘ Gambit Scheme ⓘ Guile Scheme ⓘ linked to: GNU Guile Kawa ⓘ MIT Scheme ⓘ Racket ⓘ Scheme48 ⓘ TinyScheme ⓘ
notableTextbook	Structure and Interpretation of Computer Programs ⓘ
paradigm	functional programming ⓘ imperative programming ⓘ meta-programming ⓘ
scopeType	lexical scope ⓘ
standardBody	Scheme Language Steering Committee ⓘ linked to: Scheme
standardizedBy	Revised^n Report on the Algorithmic Language Scheme ⓘ
standardVersion	R5RS ⓘ linked to: Scheme R6RS ⓘ linked to: Revised^n Report on the Algorithmic Language Scheme R7RS-small ⓘ linked to: Revised^n Report on the Algorithmic Language Scheme
supports	closures ⓘ first-class continuations ⓘ higher-order functions ⓘ macro system ⓘ recursion ⓘ tail-recursive style ⓘ
typingDiscipline	dynamic typing ⓘ
usedFor	computer science education ⓘ embedded systems ⓘ language research ⓘ scripting ⓘ
yearIntroduced	1975 ⓘ

How these facts were elicited

Referenced by (43)

Full triples — surface form annotated when it differs from this entity's canonical label.

JavaScript → influencedBy → Scheme ⓘ

Algol 68 → influenced → Scheme ⓘ

ECMAScript → influencedBy → Scheme ⓘ

Scheme → standardVersion → R5RS ⓘ

linked to: Scheme

Scheme → standardBody → Scheme Language Steering Committee ⓘ

linked to: Scheme

Scheme → notableImplementation → Chibi Scheme ⓘ

linked to: Scheme

lambda calculus → influenced → Scheme ⓘ

Structure and Interpretation of Computer Programs → languageOfInstruction → Scheme ⓘ

Structure and Interpretation of Computer Programs → programmingLanguageUsed → Scheme ⓘ

GNU Guile → programmingLanguageFamily → Scheme ⓘ

GNU Guile → supportsLanguage → Scheme ⓘ

R → inspiredBy → Scheme ⓘ

Lisp → notableImplementation → Scheme ⓘ

subject linked to: Lisp programming language

Lisp → influenced → Scheme ⓘ

subject linked to: Lisp programming language

Lua → influencedBy → Scheme ⓘ

Gerald Jay Sussman → coDeveloperOf → Scheme programming language ⓘ

linked to: Scheme

Racket → family → Scheme ⓘ

Racket → influencedBy → Scheme ⓘ

Revised^n Report on the Algorithmic Language Scheme → defines → Scheme programming language ⓘ

linked to: Scheme

Revised^n Report on the Algorithmic Language Scheme → languageOfTopic → Scheme ⓘ

MIT Scheme → programmingLanguage → Scheme ⓘ

MIT Scheme → implementationLanguage → Scheme ⓘ

Chicken Scheme → implements → Scheme programming language ⓘ

linked to: Scheme

Bigloo → implements → Scheme ⓘ

Scheme48 → implements → Scheme ⓘ

Scheme48 → programmingLanguage → Scheme ⓘ

TinyScheme → programmingLanguage → Scheme ⓘ

Guy L. Steele Jr. → notableWork → Scheme ⓘ

Guy L. Steele Jr. → coDesigned → Scheme programming language ⓘ

linked to: Scheme

Gambit Scheme → implementsLanguage → Scheme ⓘ

Gambit Scheme → programmingLanguage → Scheme ⓘ

Chez Scheme → implementsLanguage → Scheme ⓘ

Chez Scheme → programmingLanguage → Scheme ⓘ

Kawa → supportsLanguage → Scheme ⓘ

Hal Abelson → knownFor → Scheme programming language ⓘ

subject linked to: Abelson

linked to: Scheme

Structure and Interpretation of Computer Programs → mainSubject → Scheme programming language ⓘ

subject linked to: Abelson

linked to: Scheme

MIT 6.001 → usesProgrammingLanguage → Scheme ⓘ

Modularity, Objects, and State → language → Scheme ⓘ

Structure and Interpretation of Classical Mechanics → usesProgrammingLanguage → Scheme ⓘ

Guile → programmingLanguage → Scheme ⓘ

Scheme R5RS → languageStandardOf → Scheme ⓘ

GNU coding standards → recommendsLanguage → Scheme ⓘ

Clojure → influencedBy → Scheme ⓘ

All labels observed (5)

How this entity was disambiguated Show

Statements (67)

How these facts were elicited Show

Referenced by (43)

How this entity was disambiguated

How these facts were elicited