Guía del Lenguaje
Sintaxis y semántica centrales, alineadas con el compilador actual.
Guía del Lenguaje
Esta sección documenta el lenguaje de superficie de Sounio tal como lo implementa souc, con notas cuando la especificación va por delante del compilador.
Diferencias Clave vs Sintaxis Tipo Rust
- Los bindings mutables usan
var(nolet mut) - Las referencias mutables usan
&!T(no&mut T) - Los efectos se declaran con
with IO, Panic, ...en las firmas de las funciones
Empieza Aquí
Especificación vs Implementación
El repositorio contiene:
- una especificación formal-ish en
spec/LANGUAGE_SPECIFICATION.md - fixtures ejecutables en
tests/(mejor fuente de verdad para “qué compila hoy”)