Roadmap

O que já foi implementado, o que falta e em que ordem.

Esta página reflete o estado real do repositório. O documento completo, com a auditoria técnica que originou o plano, está em doc/ANALISE_E_ROADMAP.md.

O que a 1.0 entrega#

Núcleo#

Ferramentas#

Módulos e biblioteca#

1.1 — Confiança#

• Verificação de exaustividade em match sobre enum: avisar quando um membro ficou de fora. É o item de melhor relação custo/benefício que sobrou.
• Contrato de trait: falhar na declaração quando o blueprint não implementa os métodos, em vez de só na chamada.
• Generics com restrição — hoje <T> documenta e o analisador o aceita; falta <T extends Comparable> para o checker provar mais.
• Menos unário no formatador: hoje yield -1 vira yield - 1, e por isso ninguém roda dataforge fmt.

1.2 — Ferramental#

• Depurador: breakpoints, passo a passo, inspeção de variáveis.
• Cobertura de testes no dataforge test.

1.3 — Ecossistema#

• Registro hospedado com autenticação — hoje publicar é abrir um PR no repositório do registro. Basta para começar, mas não escala para milhares de pacotes nem permite revogar uma versão comprometida.
• Espelho corporativo — para quem não pode buscar pacotes na internet aberta.
• `dataforge audit` — avisar quando uma dependência instalada tem versão com correção conhecida.

2.0 — Runtime#

• IR e máquina virtual de bytecode — hoje é interpretador de árvore, sem otimização.
• Cache de compilação.
• Empacotamento — gerar um executável com o runtime embutido.

Concorrência#

• Mutex, Semaphore, Atomic — hoje só channel é seguro
• receive bloqueante
• TaskGroup e cancelamento
• parallel tratando blocos em vez de instruções
• Isolamento de transação por thread no Arcane.Database — hoje a conexão serializa os acessos, mas duas threads em begin/commit compartilham a mesma transação

Uma decisão pendente#

frame, train e predict são marcadores sintáticos: existem no lexer, no parser e no interpretador, mas devolvem um vault com __type__ e nada acontece.

Ou se implementa — DataFrame de verdade, ajuste de modelo — ou se remove. Manter sintaxe sem semântica é pior que não ter, porque quem lê a referência assume que funciona.

Estado verificado#