Futamura

From APIDesign

Revision as of 06:32, 14 July 2024 (edit) JaroslavTulach (Talk | contribs) (New page: == Futamura Projections == Famous work from 1971 by Yoshihiko Futamura relating programs '''P''', interpreters '''I''', partial evaluators '''E''', and compilers '''C'''. There are th...) ← Previous diff

Revision as of 06:32, 14 July 2024 (edit) (undo) JaroslavTulach (Talk | contribs) m (Futamora moved to Futamura) Next diff →

---

Revision as of 06:32, 14 July 2024

Futamura Projections

Famous work from 1971 by Yoshihiko Futamura relating programs P, interpreters I, partial evaluators E, and compilers C. There are three "Futamura Projections":

1. E(I,P) → partially evaluate I(P) → emit C(P), a compiled program
2. E(E,I) → partially evaluate λP.I(P) → emit C, a compiler!
3. E(E,E) → partially evaluate λI.λP.I(P) → emit a compiler-compiler!

Formal strategy for building compilers from interpreters and specializers just like Truffle. The info comes from 2019 compiler presentation.