Language Spec (v1.0.0)
A high-level map of the Sounio specification and how it relates to the compiler.
Language Spec (v1.0.0)
Lee la spec del lenguaje como el modelo más amplio de Sounio y luego verifica cada afirmación concreta contra el artefacto actual, los tests y los docs respaldados por gates.
Verificado hoy
- La especificación del lenguaje puede ir por delante de lo que el artefacto público actual realmente aplica.
- Trata los tests y los artefactos de gate como evidencia más fuerte que la prosa aspiracional o los nombres de directorio.
- Los efectos explícitos con
with ...siguen siendo parte real del contrato del lenguaje.
Caveats actuales
- Backends como LLVM, GPU y LSP deben confirmarse por artefacto, no inferirse a partir del árbol de fuentes.
- La sintaxis de unidades y quantity existe, pero la validación end-to-end sigue siendo parcial.