Saltar al contenido
codexivo
Menú

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.

  1. 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.
  2. Árbol. El parser acomoda los tokens en un árbol de sintaxis (AST): qué contiene a qué. 1 + 2 * 3 se vuelve una suma cuyo lado derecho es una multiplicación.
  3. Instrucciones. El compilador recorre el árbol y lo convierte en instrucciones para la máquina.
  4. 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.

Abrir en el sandbox
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.