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.