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 IO na 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.