Guías
Cómo funciona por dentro
El camino de un programa: tokens, árbol, compilador y una máquina que se puede pausar.
Cuando ejecutas un programa, Codexivo lo pasa por varias etapas. Cada una se construyó y se explica en la serie Construyendo Codexivo del blog.
- Tokens. El lexer lee el texto letra por letra y lo parte en piezas con significado: palabras reservadas, nombres, números, textos, operadores. Los espacios y comentarios se descartan.
- Árbol. El parser acomoda los tokens en un árbol de sintaxis (AST): qué contiene a qué.
1 + 2 * 3se vuelve una suma cuyo lado derecho es una multiplicación. - Instrucciones. El compilador recorre el árbol y lo convierte en instrucciones para la máquina.
- Máquina. La máquina ejecuta las instrucciones una a una. Se puede pausar en cualquier punto, avanzar paso a paso y retroceder, y avisa cada decisión, asignación y llamada.
Esos avisos son los que dibuja el sandbox: el diagrama de flujo, la máquina de estados y la memoria salen de lo que la máquina reporta, no de una simulación aparte.
variable x = 1 + 2 * 3
imprimir(x)Ábrelo en el sandbox y mira las pestañas de tokens y árbol.
El código del intérprete está en UrielCuriel/codexivo; su especificación, en especificacion-v1.md.