Documentation built for researchers shipping production systems.
Navigate language fundamentals, epistemic mechanics, compiler internals, and domain guides from one structured learning hub.
Primeros Pasos
Instala el compilador, ejecuta tu primer programa .sio y aprende lo básico.
- Hola, Mundo
- Tu Primer Programa
Guía del Lenguaje
Sintaxis y semántica centrales, alineadas con el compilador actual.
- Variables y Tipos
- Funciones
- Flujo de Control
Tipos Epistémicos
Incertidumbre, confianza y procedencia como datos de primera clase.
- Knowledge<T>
- Incertidumbre
- Procedencia
Efectos
Haz explícitos los efectos colaterales con `with IO`, `with Panic`, `with Async` y efectos personalizados.
- IO
- Efectos Personalizados
Programación en GPU
Sintaxis de kernel, el efecto `GPU` y lo que funciona hoy.
Unidades de Medida
Define y rastrea unidades para reducir bugs de análisis dimensional.
Biblioteca Estándar
Resumen de la stdlib, cómo importar módulos y cómo generar docs de API.
Herramientas
CLI, formateador, linter, tests, REPL y el Language Server.
- LSP
Ejemplos
Dónde encontrar código Sounio ejecutable en el repo.
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)