IO

O efeito IO continua sendo a fronteira prática para console, arquivos e interação com o host nos exemplos públicos.

Verificado hoje

• Use with IO na borda externa e mantenha o restante do pipeline o mais puro possível.
• Efeitos explícitos com with ... continuam fazendo parte do contrato real da linguagem.
• Prefira souc check antes de run ou build.

Ressalvas atuais

• run depende do artefato e do caminho de runtime escolhidos.
• O comportamento depende do binário souc exato, não apenas dos arquivos presentes no repositório.

Teste neste repositório

fn main() with IO {
    println("Hello, Sounio!")
}