Documentation built for researchers shipping production systems.
Navigate language fundamentals, epistemic mechanics, compiler internals, and domain guides from one structured learning hub.
Primeiros Passos
Instale o compilador, rode seu primeiro programa .sio e aprenda o básico.
- Olá, Mundo
- Seu Primeiro Programa
Guia da Linguagem
Sintaxe e semântica centrais, alinhadas ao compilador atual.
- Variáveis e Tipos
- Funções
- Fluxo de Controle
Tipos Epistêmicos
Incerteza, confiança e proveniência como dados de primeira classe.
- Knowledge<T>
- Incerteza
- Proveniência
Efeitos
Torne efeitos colaterais explícitos com `with IO`, `with Panic`, `with Async` e efeitos customizados.
- IO
- Efeitos Customizados
Programação em GPU
Sintaxe de kernel, o efeito `GPU` e o que funciona hoje.
Unidades de Medida
Defina e rastreie unidades para reduzir bugs de análise dimensional.
Biblioteca Padrão
Visão geral da stdlib, como importar módulos e como gerar docs de API.
Ferramentas
CLI, formatador, linter, testes, REPL e o Language Server.
- LSP
Exemplos
Onde encontrar código Sounio executável no repositório.
Compiler Internals
A guided map of the `souc` compiler: frontend, type checking, IRs, and backends.
- Lexer & Parser
- Type System
- Effect System
- Code Generation
Specification
How to read the Sounio language spec and where it may differ from the implementation.
- Language Spec (v1.0.0)