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 | AST interpretado con planes de callable, frames y caches. Build nativo empaqueta AST comprimido JOSSBC2Z con runner Go. | Arquitectura |
| VM experimental | pkg/vm contiene compilador y VM independientes; no es backend por defecto de CLI/core. | Internos |
| 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 LLVM/Cranelift. 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.