Variáveis e Tipos

Variáveis e bindings locais continuam diretos, mas anotações explícitas ainda são a forma mais segura de documentar intenção em código científico.

Verificado hoje

• A inferência local de tipos funciona para bindings e parâmetros diretos.
• Anotações explícitas ainda são a forma mais segura de documentar unidades, efeitos e valores sensíveis à confiança.
• Trate testes e artefatos de gate como evidência mais forte do que texto aspiracional ou nomes de diretório.

Ressalvas atuais

• A sintaxe de unidades e quantities existe, mas a validação ponta a ponta ainda é parcial.
• O comportamento depende do binário souc exato, não apenas dos arquivos presentes no repositório.

Teste neste repositório

let count = 3
let ratio: f64 = 0.5
var total = count + 1

"$SOUC_BIN" check examples/hello.sio