Efeitos Customizados

Efeitos customizados continuam fazendo parte do modelo da linguagem, mas a ergonomia mais profunda de handlers ainda pertence ao espaço de design em evolução.

Verificado hoje

• Efeitos customizados fazem parte do design, mas a ergonomia profunda de handlers ainda evolui.
• Efeitos explícitos com with ... continuam fazendo parte do contrato real da linguagem.
• Trate testes e artefatos de gate como evidência mais forte do que texto aspiracional ou nomes de diretório.

Ressalvas atuais

• O modelo mais rico de handlers existe no design, mas o suporte de execução ainda é irregular.
• O comportamento depende do binário souc exato, não apenas dos arquivos presentes no repositório.

Teste neste repositório

effect Fail {
    fn fail(msg: [u8; 4]) -> !
}

fn main() -> i32 with Fail {
    Fail.fail("demo")
    return 0
}