Ejemplos

Este repositorio contiene dos buenas fuentes de código Sounio “conocidamente bueno”:

• tests/run-pass/: programas pequeños y enfocados usados por CI (lo mejor para aprender sintaxis)
• examples/: demos más grandes y código de dominio (algunos pueden ser aspiracionales o requerir feature flags)

Ejecutar un Fixture de Test

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 (rechazo tipado)

Ejemplo de marzo de 2020 para demostrar restricciones temporales y epistémicas en compilación:

souc check tests/run-pass/covid_2020_kernel.sio

Comportamiento esperado: compila cuando se cumplen validez temporal y confianza.

Propagación de vancomicina (seguridad clínica)

Ejecuta el demo de propagación y el fixture de rechazo:

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

Comportamiento esperado:

• el demo pasa y muestra propagación de incertidumbre
• el fixture de baja confianza falla en compilación (epsilon)

Algunos Snippets Canónicos

Hola, 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")

Siguiente

• Herramientas
• Guía del Lenguaje
• Guía Epistémica