Estado y límites de implementación
Índice · Arquitectura · Auditoría
Esta página separa capacidades disponibles, implementaciones parciales y objetivos de diseño. Corresponde al código auditado, no a garantías de una versión descargada previamente.
| Área | Estado real | Referencia |
|---|---|---|
| Lenguaje | Parser Pratt, variables de tipo fijo o mixed explícito, clases/herencia/interfaces/enums/visibilidad, funciones/closures/ref, ternarios, guard, loops, match de valores, try/catch, defer y select de canales. | Sintaxis |
| Tipos | int64, float64, decimal, strings, arrays, maps, object, channel, clases, uniones y nullable. Análisis y defensa runtime con diferencias registradas. | Tipos |
| Concurrencia | Goroutines mediante async, Future, espera bloqueante y channels. La ejecución móvil admite cancelación cooperativa y captura segura de salida tardía; una llamada nativa bloqueante puede seguir tras el timeout. No existe cancelación estructurada general ni aislamiento profundo. | Concurrencia |
| Analizador | Declaraciones, scopes, asignabilidad, miembros conocidos, retornos y diagnósticos; narrowing local en ternarios, guard y comparaciones con null. No existe CFG general ni prueba de terminación completa. | Analizador |
| Ejecución principal | Doble vía unificada: Intérprete para scripting (joss run) y servidor web (joss server start); Compilador nativo oficial (joss build) mediante Joss Native IR y backend nativo LLVM / Standalone. |
Arquitectura |
| Web | Router HTTP/WS, vistas, Request/Response, sesión, CSRF, CORS, TLS y límites configurables. | Proyecto web |
| SQL | Adaptadores SQLite/MySQL/PostgreSQL/SQL Server, builder, Schema y migraciones. Portabilidad parcial por operación; las consultas SQL ordinarias del runtime durante GranDB::transaction usan el Tx activo. Transacciones anidadas no están soportadas. | Modelos |
| Plugins | Contenedor firmado e índice, AST y JPBC; compiladores parciales. Ruta Wasm genera stubs de texto, no ejecuta Wasm. | Plugins |
| Permisos de plugins | Guard para llamadas host mapeadas; no sandbox WASI/OS ni consentimiento por paquete. | Plugins |
| Herramientas | CLI con REPL, formatter, linter/fix, runner de tests y extensión VS Code con catálogo generado. No hay debugger integrado. | CLI |
No existen ownership general, inmutabilidad por defecto, punteros generales, traits, protocolos, generics de funciones, finally ni backend Cranelift (el backend nativo oficial genera código ejecutable vía LLVM IR y standalone bootstrap). Las anotaciones de colecciones no equivalen a generics universales ni garantizan que cada mutación revalide elementos. Las clases genéricas existen, pero sus parámetros aún necesitan garantías más fuertes.
La ausencia de imports/exports/namespaces fuente es una decisión permanente, no una función pendiente. La modularidad de ALIM utiliza capacidades integradas, organización física y plugins con carga automática.
La tesis combina arquitectura objetivo e implementación. Sus afirmaciones de backend, aislamiento y módulos deben contrastarse con este estado y con la auditoría técnica histórica. No presentes objetivos como prestaciones ya terminadas.