Tu Primer Programa

Un primer programa útil hoy es uno que mantiene explícitos los datos epistémicos. Empieza con Knowledge<T> y una frontera intencional de unwrap.

Verificado hoy

• Knowledge<T> sigue exigiendo fronteras de unwrap explícitas en lugar de extracción silenciosa.
• Los efectos explícitos con with ... siguen siendo parte real del contrato del lenguaje.
• Los fixtures compile-fail con límites de confianza forman parte del contrato verificado.

Caveats actuales

• El modelo completo de incertidumbre y proveniencia es más rico en la spec y en la stdlib que en el artefacto validado de hoy.
• 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 {
    let dose = Knowledge { value: 42.0 }
    let accepted: f64 = dose.unwrap("demo boundary")
    println(accepted)
}

"$SOUC_BIN" check first_program.sio