Saltar al contenido
codexivo
Menú

Un lenguaje para practicar lógica

En la era de la IA, la lógica sigue siendo tuya

Quizá ya no haga falta aprender un lenguaje formal para programar. Pero sigue haciendo falta entender y verificar lo que hace una máquina, y practicar lógica sigue siendo una habilidad humana.

Codexivo es un lugar para practicarla: en español, con palabras antes que símbolos, y viendo cómo piensa un programa paso a paso.

Abrir el sandboxLeer la documentación

Un programa de verdad

// La suma de los números del 1 al 10
variable suma = 0
para i desde 1 hasta 10 {
  suma = suma + i
}
imprimir("La suma es", suma)

Salida

La suma es 55

Terminó en 71 operaciones. Lo calcula run() de codexivo@1.0.2 en esta página; no está escrito a mano.

Principios

  • Simple

    Pocos tipos de datos: números, textos, lógicos y listas. Lo justo para pensar en el problema y no en el lenguaje.

  • Verbal

    Palabras antes que símbolos: variable, para … desde … hasta, es_menor_que, y, o, no. El código se lee en voz alta.

  • En español

    Las palabras reservadas, los mensajes de error y las pistas están en español. Los nombres pueden llevar acentos y ñ.

  • Visible

    La máquina avisa cada decisión, asignación y llamada. Puedes ver cómo piensa un programa, paso a paso.

Del código a la ejecución

Lo que verás en el sandbox: el mismo programa, en cada etapa del intérprete. Nada de esto está dibujado a mano; sale de ejecutarlo.

  1. Código

    // La suma de los números del 1 al 10
variable suma = 0
para i desde 1 hasta 10 {
  suma = suma + i
}
imprimir("La suma es", suma)

  2. Tokens

    El lexer parte el texto en 23 piezas con significado. Estas son las de la línea 2:

    • variableLET
    • sumaIDENT
    • =ASSIGN
    • 0NUMBER

  3. Árbol

    El parser acomoda los tokens en un árbol: qué contiene a qué.

    • Programa
      • Declaraciónsuma
        • Número0
      • Para … desde … hastai
        • Número1
        • Número10
        • Bloque
          • Asignaciónsuma =
      • Expresión
        • Llamadaimprimir
          • Texto"La suma es"
          • Nombresuma

  4. Ejecución

    La máquina avanza paso a paso y avisa cada decisión y cada cambio: 71 operaciones en total.

    1. 2declara suma = 0
    2. 6para: verdadero
    3. 7declara i = 1
    4. 100 + 1 → 1
    5. 11suma: 0 → 1
    6. 12para: verdadero
    7. 13declara i = 2
    8. 161 + 2 → 3
    9. 17suma: 1 → 3
    10. 18para: verdadero
    11. … y 34 pasos más.
Probar con tu propio códigoCómo se construyó cada etapa: la serie Construyendo Codexivo