Status e limites de implantação
Índice · Arquitetura · Auditoria
Esta página separa os recursos disponíveis, implementações parciais e objetivos de projeto. Corresponde ao código auditado, não garante uma versão baixada anteriormente.
| Área | Situação real | Referência |
|---|---|---|
| Idioma | Analisador Pratt, variáveis explícitas de tipo fixo ou misto, classes/herança/interfaces/enums/visibilidade, funções/fechamentos/ref, ternários, guard, loops, correspondência de valores, try/catch, defer e select de canais. | Sintaxe |
| Tipos | int64, float64, decimal, strings, arrays, mapas, objeto, canal, classes, uniões e anulável. Análise e defesa em tempo de execução com diferenças registradas. | Tipos |
| Simultaneidade | Goroutines usando assíncrono, Future, espera bloqueante e canais. A execução móvel suporta cancelamento cooperativo e captura segura de saída tardia; uma chamada nativa bloqueante pode continuar após o timeout. Não existe cancelamento estruturado geral nem isolamento profundo. | Simultaneidade |
| Analisador | Declarações, escopos, atribuibilidade, membros conhecidos, retornos e diagnósticos; narrowing local em ternários, guard e comparações com null. Não existe CFG geral nem prova de terminação completa. | Analisador |
| Execução principal | Via dupla unificada: Intérprete para scripting (joss run) e servidor web (joss server start); Compilador nativo oficial (joss build) mediante Joss Native IR e backend nativo LLVM / Standalone. |
Arquitetura |
| Rede | Roteador HTTP/WS, visualizações, Solicitação/Resposta, sessão, CSRF, CORS, TLS e limites configuráveis. | Projeto Web |
| SQL | Adaptadores SQLite/MySQL/PostgreSQL/SQL Server, construtor, Schema e migrações. Portabilidade parcial por operação; as consultas SQL ordinárias do runtime durante GranDB::transaction usam o Tx ativo. Transações aninhadas não são suportadas. | Modelos |
| Plug-ins | Contêiner e índice assinado, AST e JPBC; compiladores parciais. Route Wasm gera stubs de texto, mas não executa Wasm. | Plugins |
| Permissões de plug-in | Proteção para chamadas de host mapeadas; sem sandbox WASI/OS ou consentimento por pacote. | Plugins |
| Ferramentas | CLI com REPL, formatador, linter/fix, test runner e extensão VS Code com catálogo gerado. Não há depurador integrado. | CLI |
Não existem ownership geral, imutabilidade padrão, ponteiros gerais, traits, protocolos, genéricos de função, finally nem backend Cranelift (o backend nativo oficial gera código executável via LLVM IR e standalone bootstrap). universais nem garantem que cada mutação revalide elementos. Classes genéricas existem, mas seus parâmetros ainda precisam de garantias mais fortes.
A ausência de importações/exportações/namespaces de origem é uma decisão permanente, não é um recurso pendente. A modularidade ALIM usa recursos integrados, Organização física e plugins de carregamento automático.
A tese combina arquitetura e implementação alvo. Suas declarações de back-end, isolamento e módulos devem ser verificados em relação a este estado e com o auditoria técnica histórica. Nenhum objetivo presente como serviços já concluídos.