In this talk we present the Calysto Scheme Project. Calysto Scheme is written in Scheme in Continuation-Passing Style, and converted through a series of correctness-preserving transformations into Python. It has support for standard Scheme functionality, including call/cc, as well as syntactic extensions, a nondeterministic operator for automatic backtracking, and many extensions to allow Python interoperation.
Because of its Python foundation, it can easily take advantage of modern Python libraries, including those for machine learning and other pedagogical contexts. Although Calysto Scheme was developed with educational purposes in mind, it has proven to be generally useful due to its simplicity and ease of installation. It has been integrated into the Jupyter Notebook ecosystem and used in the classroom to teach introductory Programming Languages with some interesting and unique twists.
Sat 9 SepDisplayed time zone: Pacific Time (US & Canada) change
11:00 - 12:30
|The Calysto Scheme Project
|The Rational Programmer, An Investigative Method for Programming Language Pragmatics
Christos Dimoulas PLT @ Northwestern University