Evocation es un dialecto de la programación Forth diseñado por Irenes, caracterizado por su enfoque en la teoría de tipos, bases de datos y el diseño de lenguajes. A diferencia de la mayoría de los compiladores de Forth, Evocation es autoalojable, lo que significa que se puede construir utilizando únicamente una copia de sí mismo, y también es autoarranqueable. Esta última característica permite al compilador ejecutar un modo especial de 'show your work' que genera un descarte hexadecimal comentado en lugar de un binario final. Este archivo hexadecimal está instrumentado con explicaciones detalladas sobre el origen de cada byte, permitiendo auditar la integridad del código y verificar su correcto funcionamiento antes de convertirlo en un ejecutable. Esta estrategia se basa en la premisa de que la diferencia entre código fuente y binario son los comentarios, una idea inspirada en los desarrolladores de mescc y Guix. Evocation es el primer compilador capaz de generar este descarte hexadecimal desde una implementación en un lenguaje de alto nivel, en lugar de ensamblador, lo que lo distingue en el campo de los compiladores compilados. Actualmente, el proyecto está dirigido exclusivamente a la arquitectura amd64, una rareza entre los compiladores de Forth compilados. La creación de Evocation responde a una motivación espiritual y estética, buscando crear una herramienta que permita experimentar con la teoría de parseo y el diseño de lenguajes de manera lúdica. La documentación técnica está en constante evolución y el código fuente está disponible en un repositorio autoritativo, aunque el proyecto no distribuye binarios precompilados, requiriendo al usuario ejecutar los comandos de arranque manualmente en un entorno de terminal Unix.
Noticias agregadas con IA