Variables y Tipos

Las variables y los bindings locales siguen siendo directos, pero las anotaciones explícitas siguen siendo la forma más segura de documentar intención en código científico.

Verificado hoy

• La inferencia local de tipos funciona para bindings y parámetros sencillos.
• Las anotaciones explícitas siguen siendo la forma más segura de documentar unidades, efectos y valores sensibles a la confianza.
• 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 sintaxis de unidades y quantity existe, pero la validación end-to-end sigue siendo parcial.
• El comportamiento depende del binario exacto de souc, no solo de los archivos presentes en el repositorio.

Pruébalo en este repositorio

let count = 3
let ratio: f64 = 0.5
var total = count + 1

"$SOUC_BIN" check examples/hello.sio