5
rachunek z odbiciem
Szukam prostego rachunku, który obsługuje rozumowanie na temat refleksji , a mianowicie introspekcji i manipulacji uruchomionymi programami. Czy istnieje nietypowe rozszerzenie -calculus, które umożliwia konwersję -terms do postaci, którą można manipulować składniowo, a następnie oceniać?λλλ\lambdaλλ\lambda Wyobrażam sobie, że rachunek składa się z dwóch głównych dodatkowych terminów: r e f l …