Seu Primeiro Programa

Um primeiro programa útil hoje é aquele que mantém os dados epistêmicos explícitos. Comece com Knowledge<T> e uma fronteira intencional de unwrap.

Verificado hoje

• Knowledge<T> ainda exige fronteiras de unwrap explícitas em vez de extração silenciosa.
• Efeitos explícitos com with ... continuam fazendo parte do contrato real da linguagem.
• Fixtures compile-fail com limites de confiança fazem parte do contrato verificado.

Ressalvas atuais

• O modelo completo de incerteza e proveniência é mais rico na spec e na stdlib do que no artefato validado de hoje.
• 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 {
    let dose = Knowledge { value: 42.0 }
    let accepted: f64 = dose.unwrap("demo boundary")
    println(accepted)
}

"$SOUC_BIN" check first_program.sio