Type System

La historia del sistema de tipos es más fuerte donde cruza con efectos, negativas por confianza y la superficie conservadora de units que todavía podemos señalar hoy.

Verificado hoy

• Los fixtures compile-fail con límites de confianza forman parte del contrato verificado.
• Los efectos explícitos con with ... siguen siendo parte real del contrato del lenguaje.
• La sintaxis de unidades y quantity existe, pero la validación end-to-end sigue siendo parcial.

Caveats actuales

• Backends como LLVM, GPU y LSP deben confirmarse por artefacto, no inferirse a partir del árbol de fuentes.
• La especificación del lenguaje puede ir por delante de lo que el artefacto público actual realmente aplica.