Exemplos

Este repositório tem duas boas fontes de código Sounio “conhecidamente bom”:

• tests/run-pass/: programas pequenos e focados usados pela CI (melhor para aprender sintaxe)
• examples/: demos maiores e código de domínio (alguns podem ser aspiracionais ou exigir feature flags)

Rodar um Fixture de Teste

souc run tests/run-pass/hello.sio
souc run tests/run-pass/for_in_loops.sio
souc check tests/run-pass/async_basic.sio

Kernel COVID 2020 (recusa tipada)

Use o kernel de março de 2020 para demonstrar restrições temporais e epistêmicas na compilação:

souc check tests/run-pass/covid_2020_kernel.sio

Comportamento esperado: compila apenas quando validade temporal e confiança são satisfeitas.

Propagação de vancomicina (segurança clínica)

Rode o exemplo de propagação com o fixture de recusa:

souc check tests/run-pass/vancomycin_propagation.sio
souc check tests/compile-fail/vancomycin_low_conf.sio

Comportamento esperado:

• o exemplo passa e mostra a propagação de incerteza
• o fixture de baixa confiança falha na compilação (epsilon)

Alguns Snippets Canônicos

Olá, mundo:

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

Match:

let y = match x {
    0 => 10
    1 => 20
    _ => 30
}

Unwrap explícito de Knowledge<T>:

let k = Knowledge { value: 42.0 }
let x: f64 = k.unwrap("accepted for demo")

Próximo

• Ferramentas
• Guia da Linguagem
• Guia Epistêmico