Guia da Linguagem

Esta seção documenta a linguagem de superfície do Sounio como implementada por souc, com notas quando a especificação está à frente do compilador.

Diferenças-Chave vs Sintaxe Rust-like

• Bindings mutáveis usam var (não let mut)
• Referências mutáveis usam &!T (não &mut T)
• Efeitos são declarados com with IO, Panic, ... nas assinaturas de funções

Comece por Aqui

• Variáveis e Tipos
• Funções
• Fluxo de Controle

Especificação vs Implementação

O repositório contém:

• uma especificação da linguagem em spec/LANGUAGE_SPECIFICATION.md
• fixtures executáveis em tests/ (melhor fonte de verdade para “o que compila hoje”)

Próximo

• Efeitos
• Tipos Epistêmicos