July 2020
Intermediate to advanced
360 pages
7h 8m
English

18.1Constraints
⊳The program has access to information about itself, i.e. introspection.
⊳The program can modify itself – adding more abstractions, variables, etc., at runtime.
18.2A Program in This Style

18.3Commentary
THE SECOND AND FINAL STAGE towards computational reflection requires that the programs be able to modify themselves. The ability for a program to examine and modify itself is called reflection. This is an even more powerful proposition than introspection and, as such, of all the languages that ...
Read now
Unlock full access