Andrew Whatson, "Introduction to Pre-Scheme"

siiky
2023/02/04
2023/02/04
2023/08/19
talk,scheme,type_theory

https://fosdem.org/2023/schedule/event/prescheme (https://fosdem.org)

Talk about Pre-Scheme, a Scheme implementation by Richard Kelsey.

• Richard Kelsey, "Compilation by Program Transformation"

The steps to compile a by program transformation:

• Translate to itnermediate code
• Make the program linear
• Add explicit continuations
• Add explicit environments
• Identifier renaming/register allocation

Pre-Scheme has:

• No GC
• No runtime closures
• Limited tail recursion
• Strict static typing
• Limited first-class data types (C atomic types (scalars))

3L: The Computing System of the Future (https://3lproject.org)

fosdem2023.gmi
20230204.gmi
pl.scheme.gmi