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

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

• fosdem2023.html
• 20230204.html
• pl.scheme.html