Programación intencional en Joy: Introspección con un solo operador
2025-02-12
Este artículo explora la programación intencional en Joy, un lenguaje de programación funcional basado en pila. Joy en sí es extensional, sin la capacidad de 'diseccionar' bloques de código. El autor propone dos operadores intencionales: 'map' y 'quota', demostrando su expresabilidad mutua. Aunque son equivalentes en comportamiento, los programas intencionales pueden distinguir un solo operador de un subprograma con múltiples comandos. Esto abre caminos para explorar nociones más débiles de equivalencia en lenguajes intencionales y demuestra un enfoque robusto para introducir la intencionalidad en lenguajes minimalistas como Joy.
Leer más