Funções

Funções continuam orientadas a expressões, e anotações de efeito ainda são a forma pública de marcar efeitos colaterais.

Verificado hoje

• Efeitos explícitos com with ... continuam fazendo parte do contrato real da linguagem.
• A inferência local de tipos funciona para bindings e parâmetros diretos.
• 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

fn add(a: i32, b: i32) -> i32 {
    a + b
}

fn log(msg: string) with IO {
    println(msg)
}