Scheme 2022
2022-09-16
Ljubljana, Slovenia
Scheme ·
[Scheme 2019, Scheme 2020, Scheme 2021, Scheme 2022, Scheme 2023, Scheme 2024, Scheme 2025, Scheme 2026]
who it's for
scheme implementers, language designers, programming language researchers, racket developers, gambit scheme users, cs educators, compiler course instructors, tooling and synthesis developers
topics
IronScheme on .NET; Excel spreadsheet lambdas; bidirectional Gambit CPython bridge; foreign procedure calls between Scheme and Python; shift/reset delimited continuations; quantum circuit simulation with continuations; macro-embedded compiler intermediate languages; identifier macros and variable-like transformers; program synthesis for HtDP languages; DrRacket integration for synthesizers; R7RS committee and ballot progress; SRFI library proposals and utilities
| title | author | length |
|---|---|---|
| Introducing Visual Scheme for Applications: Modernizing Office Solutions on t... | Bob Calco | 21m |
Visual Scheme for Applications (VSA) embeds IronScheme on .NET into Excel and Microsoft 365, adding Lambda/Define/Apply/Eval functions, an editor, and a REPL… | ||
| R7RS Large Status Report | John Cowan | 15m |
Status report lists concrete committees and deliverables: committee F fixes language gaps (adds syntax-case, limited continuations, syntax parameters… | ||
| An FFI between Gambit Scheme and CPython | Marc-André Bélanger, Marc Feeley | 24m |
An FFI implements a bidirectional bridge between Gambit Scheme and CPython that actually converts values, wraps CPython objects via Gambit’s CFFI, and handles… | ||
| Scheme Pearl: Quantum Continuations | Borislav Agapiev, Vikraman Choudhury, Amr Sabry | 27m |
Claims that quantum-circuit simulation reduces to efficiently managing many delimited continuations and demonstrates it by implementing a full simulator in… | ||
| Why Functional Programming Matters in CS Education | Marco T. Morazán | 59m |
Argues that functional programming makes it easier to teach abstraction, modularity, testing, recursion, mutation and distributed programming from day one, and… | ||
| Macro-embedding Compiler Intermediate Languages in Racket | William J. Bowman | 23m |
Implements a macro-embedding that derives a family of compiler intermediate languages inside Racket to generate 120 interpreters for a compilers course, mixing… | ||
| Automating the Design Recipe | Hazel Levine, Sam Tobin-Hochstadt | 20m |
Bingus is a program synthesizer for the HtDP Student languages that parses signature comments and uses check-expects to stop search, generating the HtDP… | ||
| Scheme Requests for Implementation Status Report | Arthur A. Gleckler | 21m |
SRFI process runs since 1998 and now lists 236 proposals with about 80 making measurable progress since 2018, and many include sample implementations and… | ||
| Programming is (should be) fun! | Gerald Jay Sussman | 52m |
Programming is a creative design practice, not mechanical coding: the core claim is that eval/apply interpreter structure mirrors deep dualities and guides… | ||
| nothing matches | ||