Por qué existe Codexivo

Empezó en un curso

Codexivo nació un día de mayo de 2023, mientras tomaba un curso sobre cómo crear un lenguaje de programación. El curso enseñaba a construir una versión básica de Python dentro de Python: un lexer que parte el texto en piezas, un parser que las acomoda en un árbol y un evaluador que lo recorre.

Pudo haberse quedado ahí, como otro repositorio olvidado en GitHub sin más propósito que el ejercicio. El primer commit es del 8 de mayo: el lexer y sus pruebas. Pero quería darle un propósito.

Buscar un propósito

Buscándolo, me acordé del mayor problema de las personas que he conocido que quieren aprender a programar y no lo logran: no es la sintaxis ni la herramienta, es que les cuesta entender el pensamiento lógico y algorítmico, la forma en que una máquina sigue instrucciones.

Hay otra barrera, y es el lenguaje con el que empiezan. En muchos cursos, escuelas y universidades, por lo menos cuando yo estudiaba, el primer acercamiento era C, C++ o Java: lenguajes llenos de símbolos, tipos y reglas que existen por razones que todavía no se entienden, pensados para construir sistemas y no para aprender a pensar. Tenerlos como primer contacto es también una barrera de entrada: hay que pelear con el lenguaje antes de llegar a la lógica, y muchos se quedan en esa pelea.

Ahí apareció la idea, con tres decisiones que siguen siendo las bases del lenguaje.

Uno: en español, para que nadie tenga que entender otro idioma antes de entender cómo funciona la lógica. Las palabras del lenguaje, los errores y las pistas están en español.

Dos: en TypeScript, para que corra en el navegador y haya un lugar donde practicar sin instalar nada: el sandbox.

Tres: sencillo. Más que un lenguaje de programación quería un lenguaje lógico: palabras antes que símbolos (variable, mientras, si, regresa, y, o, no), pocas reglas y cada una con una razón.

Aprender construyéndolo

Mientras avanzaba el curso iba tomando las decisiones y la estructura sobre esas bases: tomar lo que era invariante de cualquier lenguaje (tokens, árbol, evaluación, alcances) y aplicarlo en TypeScript, con palabras en español. Y fui documentando cómo lo escribía, en la serie Construyendo Codexivo del blog.

Entre mayo y julio de 2023 el lenguaje empezó a ejecutar: el evaluador, las funciones, los textos, los primeros procedimientos de la biblioteca. Aprendí muchas cosas en ese tramo. Pero por distintas cuestiones no logré, en su momento, liberar una versión funcional. Después vinieron dos años en pausa.

El regreso

En 2025 lo retomé con agentes de IA como compañeros de trabajo: la migración a Bun, bucles y listas, un trazador de la ejecución y la primera documentación completa.

En 2026 llegó lo que faltaba: una especificación por niveles y un núcleo nuevo, un compilador y una máquina que se puede pausar, ejecutar paso a paso y que reporta cada cosa que hace. Por fin una versión funcional, publicada en npm, y este sitio.

Y, para fortalecer el objetivo de ayudar a desarrollar el pensamiento lógico, agregué funciones que no estaban en el plan original: los visuales. Una máquina física que se ve trabajar, diagramas de flujo animados, el estado de la memoria y los tokens. No solo ayudan a entender qué está haciendo un algoritmo: también enseñan cómo funciona un lenguaje por dentro.

Y la IA

Hay una última parte, y es la que le da sentido a todo esto hoy. La IA ayuda a escribir código mucho más rápido; yo mismo retomé Codexivo con agentes como compañeros de trabajo. Y es probable que muchos de los nuevos programadores ni siquiera toquen una línea de código: van a describir lo que quieren y una máquina lo va a escribir.

Pero describir lo que se quiere es, justamente, el problema de siempre. Hay que saber partirlo en pasos, decidir qué pasa en cada caso, entender por qué un resultado está mal y poder explicarlo. Esas habilidades de pensamiento y de análisis lógico y algorítmico no desaparecen con la IA: se vuelven más necesarias, porque alguien tiene que entender y verificar lo que la máquina escribió.

Eso es lo que Codexivo quiere ejercitar. No la sintaxis de un lenguaje, sino la forma de pensar que hace falta antes de cualquier lenguaje, con o sin IA.