IO

El efecto IO sigue siendo la frontera práctica para consola, archivos e interacción con el host en los ejemplos públicos.

Verificado hoy

• Usa with IO en el borde externo y mantén el resto del pipeline lo más puro posible.
• Los efectos explícitos con with ... siguen siendo parte real del contrato del lenguaje.
• Prefiere souc check antes de run o build.

Caveats actuales

• run depende del artefacto y de la ruta de runtime que hayas elegido.
• El comportamiento depende del binario exacto de souc, no solo de los archivos presentes en el repositorio.

Pruébalo en este repositorio

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