Lenguaje de Programación MOIX

Lenguaje de programación basado en Teoría de Categorías.

-- Donde `X`,
X -> {}: -- requiere tener:
    [ M ] <- ( Morfismos ) -- Conjuntos de `[ X ]`
    [ O ] <- ( Objectos  ) -- que son definidas
    [ I ] <- ( Identidad ) -- por axiomas
    [ X ] <- (     X     ) -- como `( X )`.

Documentación

Definición de MOIX

Morfismos

Los morfismos son flecha que muestran dirección:

• <- Hacia la dirección de la izquierda.
• -> Hacia la dirección de la derecha.
• -- Solo un comentario.

Objetos

Estructuras conocidas son objetos:

• () Estructura es un axioma.
• [] Estructura es un conjunto.
• {} Estructura con requerimientos.

Identidad

Sí X es conocida, entonces tiene identidad, donde:

• #X Identidad única e inmutable.
• @X Referencia usando la identidad.

X es todo

X puede ser desconocida o que en el futuro será definida.

Compilación

Requiere instalar las herramientas de compilación del lenguaje de programación Rust.

cargo install -q just

just build