💾 Archived View for siiky.srht.site › wiki › fosdem2023.prescheme.gmi captured on 2024-07-09 at 00:45:06. Gemini links have been rewritten to link to archived content

-=-=-=-=-=-=-

Andrew Whatson, "Introduction to Pre-Scheme"

siiky

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.gmi

20230204.gmi

pl.scheme.gmi