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, execute o seu primeiro programa em Sounio e conheça as bases da linguagem.
- 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 de dados como cidadãos de primeira classe na segurança da linguagem.
- Knowledge<T>
- Incerteza
- Proveniência
Efeitos
Torne efeitos colaterais explícitos com `with IO`, `with Panic`, `with Async` e efeitos customizados.
- IO
- Efeitos Customizados
Estado das Funcionalidades
Estado de implementação das funcionalidades de linguagem e biblioteca padrão do Sounio
- Programação em GPU
- Unidades de Medida
- Biblioteca Padrão
- Ferramentas
- LSP
Exemplos
Onde encontrar código Sounio executável no repositório.
- Incerteza na Vancomicina
Compiler Internals
A guided map of the `souc` compiler: frontend, type checking, IRs, and backends.
- Lexer & Parser
- Type System
- Effect System
- Geração de Código
- Scientific Features
Specification
How to read the Sounio language spec and where it may differ from the implementation.
- Language Spec (v1.0.0)