5
Kalkül mit Reflexion
Ich suche nach einem einfachen Kalkül, das die Überlegungen zur Reflexion unterstützt , nämlich die Introspektion und Manipulation von laufenden Programmen. Gibt es eine untypisierte λλ\lambda Kalkulus-Erweiterung, mit der man λλ\lambda Terme in eine Form umwandeln kann, die syntaktisch manipuliert und anschließend ausgewertet werden kann? Ich stelle mir vor, dass …