Effect System
Algebraic effects with handlers: checking, inference, and runtime dispatch.
Effect System
O sistema de efeitos continua central no design, mas os docs públicos agora separam o contrato de assinatura aplicado do modelo mais rico de handlers ainda em evolução ativa.
Verificado hoje
- Efeitos explícitos com
with ...continuam fazendo parte do contrato real da linguagem. - Use
with IOna borda externa e mantenha o restante do pipeline o mais puro possível. - Efeitos customizados fazem parte do design, mas a ergonomia profunda de handlers ainda evolui.
Ressalvas atuais
- O modelo mais rico de handlers existe no design, mas o suporte de execução ainda é irregular.
- Backends como LLVM, GPU e LSP precisam ser confirmados por artefato, e não inferidos pela árvore de fontes.