Tipos Epistémicos
Incertidumbre, confianza y procedencia como datos de primera clase.
Tipos Epistémicos
Sounio está diseñado para computación científica y regulada, donde un valor rara vez es “solo un número”. Las mediciones y cantidades derivadas deberían llevar:
- incertidumbre (metrología)
- confianza/credibilidad (trust)
- procedencia (origen + historial de transformaciones)
El bloque central es Knowledge<T>: un wrapper de valor que evita descartar metadatos epistémicos de forma silenciosa.
Lo que Funciona Hoy (Realidad del Compilador)
El compilador actualmente soporta un invariante mínimo pero importante:
- puedes construir valores
Knowledge<T>, y - extraer un
Tplano requiere una operación explícita con una cadena de motivo (unwrap("...")).
Eso significa que el código no puede perder información epistémica “por accidente”.
Especificación vs Implementación
El diseño completo apunta a un comportamiento más rico: propagación de incertidumbre basada en principios, monotonicidad de confianza y procedencia append-only bajo transformaciones puras.
Parte de eso vive en la spec y en los docs de diseño de la stdlib, aunque la aplicación pueda variar según el modo del compilador y feature flags.