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)