MIT Scheme
E131745
MIT Scheme is a long-standing, feature-rich implementation of the Scheme programming language developed at the Massachusetts Institute of Technology, often used for teaching and research in computer science.
All labels observed (2)
| Label | Occurrences |
|---|---|
| MIT Scheme canonical | 1 |
| MIT/GNU Scheme | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T1160244 — 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.
Target entity: MIT Scheme Context triple: [Scheme, notableImplementation, MIT Scheme]
-
A.
Scheme
Scheme is a minimalist, lexically scoped dialect of the Lisp programming language known for its elegant functional programming model and powerful macro system.
-
B.
GNU Guile
GNU Guile is the official extension language platform of the GNU Project, providing a Scheme-based scripting and programming environment for extending and customizing applications.
-
C.
Lisp programming language
Lisp is a pioneering high-level programming language, especially influential in artificial intelligence research and known for its symbolic processing and distinctive parenthesized syntax.
-
D.
Structure and Interpretation of Computer Programs
Structure and Interpretation of Computer Programs is a seminal computer science textbook by Harold Abelson and Gerald Jay Sussman that uses the Scheme language to teach fundamental principles of programming and software design.
-
E.
Modula-3
Modula-3 is a systems programming language designed as a safer, more modern successor to Modula-2, emphasizing strong typing, modularity, and support for concurrency and garbage collection.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
Target entity: MIT Scheme Target entity description: MIT Scheme is a long-standing, feature-rich implementation of the Scheme programming language developed at the Massachusetts Institute of Technology, often used for teaching and research in computer science.
-
A.
Scheme
Scheme is a minimalist, lexically scoped dialect of the Lisp programming language known for its elegant functional programming model and powerful macro system.
-
B.
GNU Guile
GNU Guile is the official extension language platform of the GNU Project, providing a Scheme-based scripting and programming environment for extending and customizing applications.
-
C.
Lisp programming language
Lisp is a pioneering high-level programming language, especially influential in artificial intelligence research and known for its symbolic processing and distinctive parenthesized syntax.
-
D.
Structure and Interpretation of Computer Programs
Structure and Interpretation of Computer Programs is a seminal computer science textbook by Harold Abelson and Gerald Jay Sussman that uses the Scheme language to teach fundamental principles of programming and software design.
-
E.
Modula-3
Modula-3 is a systems programming language designed as a safer, more modern successor to Modula-2, emphasizing strong typing, modularity, and support for concurrency and garbage collection.
- F. None of above. chosen
Statements (50)
| Predicate | Object |
|---|---|
| instanceOf |
Scheme implementation
ⓘ
free software ⓘ programming language implementation ⓘ |
| abbreviation |
MIT Scheme
self-linksurface differs
ⓘ
surface form:
MIT/GNU Scheme
|
| basedOn | Scheme programming language standard ⓘ |
| developer |
Department of Electrical Engineering and Computer Science
ⓘ
surface form:
MIT Department of Electrical Engineering and Computer Science
Massachusetts Institute of Technology ⓘ |
| hasComponent |
compiler
ⓘ
debugger ⓘ editor ⓘ interpreter ⓘ runtime system ⓘ |
| hasFeature |
bytecode interpreter
ⓘ
continuations ⓘ emacs-like editor ⓘ foreign function interface ⓘ garbage collection ⓘ incremental compiler ⓘ integrated debugger ⓘ macro system ⓘ multithreading support ⓘ native code compiler ⓘ numerical tower ⓘ object system ⓘ profiling tools ⓘ record types ⓘ |
| implementationLanguage |
C
ⓘ
Scheme ⓘ |
| license | GNU General Public License ⓘ |
| maintainer | GNU Project ⓘ |
| notableFor |
feature-rich Scheme environment
ⓘ
long-standing use in MIT courses ⓘ use in SICP textbook ⓘ |
| primaryUse |
computer science education
ⓘ
experimental language implementation ⓘ programming languages research ⓘ |
| programmingLanguage | Scheme ⓘ |
| runsOn |
GNU/Linux
ⓘ
Windows ⓘ
surface form:
Microsoft Windows
Unix-like systems ⓘ macOS ⓘ |
| softwareModel | open-source software ⓘ |
| supportsParadigm |
functional programming
ⓘ
procedural programming ⓘ |
| supportsStandard |
Revised^n Report on the Algorithmic Language Scheme
ⓘ
surface form:
R3RS
R4RS ⓘ Scheme R5RS ⓘ
surface form:
R5RS
|
| usedAt | Massachusetts Institute of Technology ⓘ |
| usedForCourse | Structure and Interpretation of Computer Programs ⓘ |
| website | https://www.gnu.org/software/mit-scheme/ ⓘ |
How these facts were elicited
The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.
You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10. # Requirements - If you don't know the subject at all, return an empty list. - If the subject is not a named entity, return an empty list. - Include at least one triple where predicate is "instanceOf". - Do not get too wordy. - Separate several objects into multiple triples with one object.
Subject: MIT Scheme Description of subject: MIT Scheme is a long-standing, feature-rich implementation of the Scheme programming language developed at the Massachusetts Institute of Technology, often used for teaching and research in computer science.
Referenced by (2)
Full triples — surface form annotated when it differs from this entity's canonical label.