Type System

A história do sistema de tipos é mais forte onde cruza com efeitos, recusas por confiança e a superfície conservadora de units que ainda conseguimos apontar hoje.

Verificado hoje

• Fixtures compile-fail com limites de confiança fazem parte do contrato verificado.
• Efeitos explícitos com with ... continuam fazendo parte do contrato real da linguagem.
• A sintaxe de unidades e quantities existe, mas a validação ponta a ponta ainda é parcial.

Ressalvas atuais

• Backends como LLVM, GPU e LSP precisam ser confirmados por artefato, e não inferidos pela árvore de fontes.
• A especificação da linguagem pode avançar além do que o artefato público atual realmente aplica.