Programação intencional em Joy: Introspecção com um único operador

2025-02-12

Este artigo explora a programação intencional em Joy, uma linguagem de programação funcional baseada em pilha. A Joy em si é extensional, sem a capacidade de 'dissecar' blocos de código. O autor propõe dois operadores intencionais: 'map' e 'quota', provando sua expressibilidade mútua. Embora comportamentalmente equivalentes, programas intencionais podem distinguir um único operador de um subprograma com múltiplos comandos. Isso abre caminhos para explorar noções mais fracas de equivalência em linguagens intencionais e demonstra uma abordagem robusta para introduzir intencionalidade em linguagens minimalistas como Joy.