Intensionale Programmierung in Joy: Introspektion mit einem einzigen Operator
2025-02-12
Dieser Artikel untersucht die intensionale Programmierung in Joy, einer stackbasierten funktionalen Programmiersprache. Joy selbst ist extensional und kann Codeblöcke nicht „zerlegen“. Der Autor schlägt zwei intensionale Operatoren vor: „map“ und „quota“, und beweist ihre gegenseitige Ausdrückbarkeit. Obwohl verhaltensgleich, können intensionale Programme einen einzelnen Operator von einem Subprogramm mit mehreren Befehlen unterscheiden. Dies eröffnet Wege, schwächere Äquivalenzbegriffe in intensionalen Sprachen zu erforschen und demonstriert einen robusten Ansatz, um Intentionalität in minimalistische Sprachen wie Joy einzuführen.
Mehr lesen