sounio
Sounio es un lenguaje de programación científico autoalojado para computación epistémica, que permite modelar la incertidumbre en los datos y realizar cálculos científicos con confianza verificable.
Ficha actualizada 22 sept 2026, 20:24 · upstream 22 sept 2026, 20:24 · release sounio-lsp-v0.3.0-r1
Qué es sounio
Descripción editorial construida a partir del repositorio, su documentación y sus señales de mantenimiento.
Sounio es un lenguaje de programación científica diseñado para el procesamiento de datos con incertidumbre. Su sistema de tipos incluye tipos epistémicos como Knowledge[T], que permiten rastrear la confianza, proveniencia y propagación de incertidumbre en los cálculos. El lenguaje soporta efectos algebraicos explícitos (IO, Mut, Div, Panic, Alloc) y tiene un compilador autoalojado que se construye desde cero mediante una cadena de etapas hasta alcanzar un punto fijo. Esto permite verificar la corrección del código antes de su ejecución, con soporte para compilar a binarios nativos en x86_64 Linux.
- Dosis de medicamentos: cálculo de dosis de vancomicina con propagación de incertidumbre basada en datos clínicos (ASHP 2020)
- Redes semánticas hiperbólicas: modelado de redes neuronales con geometría hiperbólica para procesamiento de lenguaje natural
- Análisis de datos biométricos: cálculo del IMC con propagación de incertidumbre y validación de rangos aceptables
- Detección de anomalías en series temporales: identificación de patrones anómalos mediante análisis estadístico formalizado
- Simulaciones físicas: modelado de sistemas dinámicos no lineales con incertidumbre en parámetros de entrada
- Sounio es el primer lenguaje que integra tipos epistémicos como primera clase, permitiendo verificar la confianza antes del cómputo
- Soporte completo para propagación de incertidumbre según GUM (Guide to the Expression of Uncertainty in Measurement)
- Compilador autoalojado con punto fijo, capaz de generar binarios nativos en x86_64 Linux sin dependencias externas
- Sistema de efectos algebraicos explícitos que permite modelar efectos no deterministas como Panic y Alloc
- Verificación formal mediante Lean 4: el lenguaje incluye pruebas formales de invariantes matemáticos
- El compilador autoalojado aún no está disponible para Windows, limitando la portabilidad a plataformas Unix-like
- La mayoría del estándar de librerías (stdlib) es un scaffold sin prueba ejecutable completa, lo que limita su usabilidad en producción
- La integración con IDEs profesionales y herramientas de desarrollo modernas (como VS Code) está en fase prototipo
- El soporte para GPU y aceleración mediante PTX/kaxi no se implementa completamente en la CLI actual
- Algunos módulos del estándar son marcados como 'stale_conflicting' o 'prototype', indicando falta de documentación completa
Perfil de infraestructura
Estimación inicial derivada del repositorio y de los servicios detectados.
Despliegue detectado
Qué señales reales de instalación hemos encontrado.
Para desplegar Sounio, primero instale el compilador autoalojado mediante `./sounio-whereami --quick` y verifique que esté en la rama actual. Luego, compilea los scripts `.sio` usando `bin/souc`, que genera binarios ELF nativos para Linux. Para ejecutar, use `bin/souc run <archivo.sio>`. Se recomienda usar el punto fijo del compilador como base para cualquier desarrollo adicional. El estándar de librerías se puede instalar con `pip install sounio-stdlib` o mediante la instalación manual desde los repositorios oficiales.
Stack y dependencias
Componentes inferidos a partir de manifests, configuración y documentación.
Puede sustituir a
Relaciones detectadas por el análisis del repositorio y su categoría.
Experiencia real de la comunidad
Ayuda a contrastar la estimación automática con instalaciones reales.
Todavía no hay datos comunitarios para este proyecto.