Learn
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
Feature Status
Implementation status for Sounio's Standard Library and Language Features
- Programación en GPU
- Unidades de Medida
- Biblioteca Estándar
- Herramientas
- LSP
Ejemplos
Dónde encontrar código Sounio ejecutable en el repo.
- Vancomycin Uncertainty
Compiler Internals
A guided map of the `souc` compiler: frontend, type checking, IRs, and backends.
- Lexer & Parser
- Type System
- Effect System
- Code Generation
- Scientific Features
Specification
How to read the Sounio language spec and where it may differ from the implementation.
- Language Spec (v1.0.0)