Aiki Alpha 2: el lenguaje se reescribe a sí mismo

Aiki Alpha 2 ya está disponible, etiquetado como v0.4.0-alpha-35 y distribuido desde la página de releases de su repositorio en GitHub. Frente a Alpha 1, que convirtió al lenguaje en algo tangible, Alpha 2 hace explícita su arquitectura: la gramática pasa a ser la única autoridad sobre la superficie sintáctica, de modo que el analizador, el evaluador, el formateador, el linter, la ayuda y las comprobaciones estructurales derivan todos de ella, y la terminación por salto de línea se convierte en una regla explícita del lenguaje en lugar de una política interna del parser. Una parte sustancial de Aiki está ahora reescrita en Aiki: incluye un lexer, un normalizador, un parser, un evaluador, un cargador de módulos y un camino de arranque propios, y se valida frente a la implementación hospedada en Go mediante comprobaciones de conformidad e interpretación recursiva de sí mismo. La frontera con el host también se ha rediseñado: HAL, capacidad y autoridad son ahora conceptos distintos, el código de confianza recibe grants explícitos y los servicios portables (bits, bytes, hash y string) cuentan con implementaciones nativas genuinas en Aiki, con realizaciones opcionales a través de /ffi; lo nativo es el comportamiento por defecto. La versión incorpora además una amplia biblioteca de desarrollo de sistemas que cubre archivos, rutas, procesos, señales, terminales, red, tiempo, bytes, hashing, almacenamiento y entorno. La distribución es reubicable y servicios de lenguaje como LSP, formateo, completado, hover, tags, Xed y VS Code comparten un mismo núcleo. La validación se ha reforzado con cobertura conductual, estructural, de conformidad, de auto-hospedaje, de invariantes, de frontera nativo/FFI, basada en propiedades, fuzz, de distribución y gold, todo integrado en el camino de release. Los tres experimentos centrales —perfilado semántico con auto-intérpretación recursiva, el compilador de regex de Thompson de 1968 sobre un emulador Aiki 7094 y Four-Way Life— siguen siendo las pruebas de estrés del proyecto. Se mantienen las características esenciales del lenguaje (racionales exactos, evaluación de izquierda a derecha, agrupamiento explícito, errores recuperables y concurrencia aislada). Hay archivos de release para Linux, macOS y Windows.