Programmation intentionnelle en Joy : introspection avec un seul opérateur

2025-02-12

Cet article explore la programmation intentionnelle en Joy, un langage de programmation fonctionnel basé sur une pile. Joy est lui-même extensionnel, sans la capacité de « décomposer » les blocs de code. L’auteur propose deux opérateurs intentionnels : « map » et « quota », démontrant leur expressibilité mutuelle. Bien que comportementalement équivalents, les programmes intentionnels peuvent distinguer un seul opérateur d’un sous-programme comportant plusieurs commandes. Cela ouvre des voies pour explorer des notions plus faibles d’équivalence dans les langages intentionnels et démontre une approche robuste pour introduire l’intentionnalité dans les langages minimalistes comme Joy.

Lire plus