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