Efectos Personalizados

Los efectos personalizados siguen formando parte del modelo del lenguaje, pero la ergonomía más profunda de handlers sigue perteneciendo a un espacio de diseño en evolución.

Verificado hoy

• Los efectos personalizados forman parte del diseño del lenguaje, pero la ergonomía profunda de handlers sigue evolucionando.
• Los efectos explícitos con with ... siguen siendo parte real del contrato del lenguaje.
• Trata los tests y los artefactos de gate como evidencia más fuerte que la prosa aspiracional o los nombres de directorio.

Caveats actuales

• El modelo más rico de handlers existe en el diseño, pero el soporte de ejecución sigue siendo desigual.
• El comportamiento depende del binario exacto de souc, no solo de los archivos presentes en el repositorio.

Pruébalo en este repositorio

effect Fail {
    fn fail(msg: string) -> !
}

fn main() with Fail {
    Fail.fail("demo")
}