Drscheme: A programming environment for scheme

Robert Bruce Findler*, John Clements, Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Paul Steckler, Matthias Felleisen

*Corresponding author for this work

Research output: Contribution to journalArticle

163 Scopus citations

Abstract

DrScheme is a programming environment for Scheme. It fully integrates a graphics-enriched editor, a parser for multiple variants of Scheme, a functional read-eval-print loop, and an algebraic printer. The environment is especially useful for students, because it has a tower of syntactically restricted variants of Scheme that are designed to catch typical student mistakes and explain them in terms the students understand. The environment is also useful for professional programmers, due to its sophisticated programming tools, such as the static debugger, and its advanced language features, such as units and mixins. Beyond the ordinary programming environment tools, DrScheme provides an algebraic stepper, a context-sensitive syntax checker, and a static debugger. The stepper reduces Scheme programs to values, according to the reduction semantics of Scheme. It is useful for explaining the semantics of linguistic facilities and for studying the behavior of small programs. The syntax checker annotates programs with font and color changes based on the syntactic structure of the program. On demand, it draws arrows that point from bound to binding occurrences of identifiers. It also supports α-renaming. Finally, the static debugger provides a type inference system that explains specific inferences in terms of a value-flow graph, selectively overlaid on the program text.

Original languageEnglish (US)
Pages (from-to)159-182
Number of pages24
JournalJournal of Functional Programming
Volume12
Issue number2
DOIs
StatePublished - Jan 1 2002

ASJC Scopus subject areas

  • Software

Fingerprint Dive into the research topics of 'Drscheme: A programming environment for scheme'. Together they form a unique fingerprint.

  • Cite this

    Findler, R. B., Clements, J., Flanagan, C., Flatt, M., Krishnamurthi, S., Steckler, P., & Felleisen, M. (2002). Drscheme: A programming environment for scheme. Journal of Functional Programming, 12(2), 159-182. https://doi.org/10.1017/s0956796801004208