Guía del Lenguaje
Sintaxis y semántica centrales, alineadas con el compilador actual.
Guía del Lenguaje
Esta guía ahora describe la superficie conservadora del lenguaje: bindings, funciones, efectos y control de flujo que todavía aparecen en los fixtures actuales.
Verificado hoy
- Bindings básicos, funciones y control de flujo siguen formando parte de la superficie soportada del lenguaje.
- La inferencia local de tipos funciona para bindings y parámetros sencillos.
- Trata los tests y los artefactos de gate como evidencia más fuerte que la prosa aspiracional o los nombres de directorio.
Caveats actuales
- La especificación del lenguaje puede ir por delante de lo que el artefacto público actual realmente aplica.
- El comportamiento depende del binario exacto de
souc, no solo de los archivos presentes en el repositorio.