Ao calcular uma dose de medicamento, uma métrica de paciente ou uma previsão clínica, o código tradicional fornece um único número sem contexto. O Sounio rastreia automaticamente o erro de medição, a incerteza do padrão ISO GUM e a proveniência dos dados em cada etapa da execução.
Destaque: Dosagem de vancomicina que não esconde a incerteza.
O Sounio é uma linguagem de programação de sistemas para equipas científicas que precisam de raciocinar não apenas sobre valores, mas sobre confiança, proveniência e incerteza em cada fase de execução.
Destaque: Análise aprofundada do teorema não-associativo de 168 dos Octoniões.
LINGUAGEM DE SISTEMAS EPISTÉMICOS
Uma linguagem de programação que carrega
o que não sabe.
Não um contorno. Um tipo.
fn dose_vancomycin(auc: Knowledge<f64>) -> f64
where auc.ε >= 0.82
{
auc.value / 24.0
}
// caller — ε = 0.71, below threshold:
let measured = Knowledge { value: 430.0, ε: 0.71 };
dose_vancomycin(measured);Não uma heurística. Não um aviso. O verificador de tipos vê ε = 0,71, a assinatura exige ε ≥ 0,82, e o programa não compila. O contrato está no tipo.
Leia o exemplo completo da vancomicina →PONTO FIXO EPISTÉMICO
A linguagem virou o seu sistema de incerteza sobre si própria. Ao longo de oito gerações de bootstrap, o compilador rastreou a sua própria confiança em cada expressão. Na geração oito: 113.931 expressões. Todas certas. Overhead de guarda: zero bytes. O binário provou-o compilando-se a si próprio duas vezes com o mesmo hash.
md5(gen₂.elf) = md5(gen₃.elf) · 15.636 call sites · 0 guardados · 1,25 MB
Três disciplinas de tipo em tempo de compilação que nenhuma outra linguagem tem como primitivas de primeiro nível. Cada uma aplicada em cada chamada. Cada uma especificada formalmente.
fn dose_vancomycin(auc: Knowledge<f64>) -> f64
where auc.ε >= 0.82
{
auc.value / 24.0
}effect NonUnitary {
amplitude: Complex<f64>
}
fn tt_amplitude(
p1: FourMomentum, p2: FourMomentum
) -> f64 / NonUnitary {
// …
}algebra Octonion {
basis: [e0..e7]
product: fano_table
reassociate: fano_selective
}
let count = count_nonassoc_triples();
// result: 168130 módulos da stdlib. Oito domínios que nenhuma linguagem compilada alcança com incerteza, efeitos e álgebra em tempo de compilação.
FARMACOCINÉTICA
PBPK de 14 compartimentos · dinâmica Cayley-Dickson · ODE GUM-exata
Cada elemento de base sedenion codifica um compartimento anatómico. A transferência de medicamento entre tecidos é multiplicação Cayley-Dickson — a álgebra é a farmacocinética.
Explore →MODELO PADRÃO
31 módulos · incertezas PDG em cada vértice · QED LO ±2% vs dados CERN
Os 18 parâmetros do Modelo Padrão carregam as suas incertezas PDG como Knowledge<f64>. O verificador de tipos aplica orçamentos de erro em cada amplitude de Feynman.
Explore →PSIQUIATRIA COMPUTACIONAL
Bateson L0-L3 · cálculo Spencer-Brown · eigenformas Pask · Maturana executável
A cibernética de segunda ordem formalizada como programas em execução. Dinâmica de duplo vínculo, esquismogénese, autopoiese — não metáforas. Tipos.
Explore →COMPUTAÇÃO QUÂNTICA
Qubits lineares · pares Bell · VQE H₂ · sem cópia em tempo de compilação
Os tipos lineares tornam a clonagem quântica um erro de compilação. Sem verificação em tempo de execução. O teorema sem clonagem é uma restrição no tipo de Qubit.
Explore →UNIDADES FÍSICAS
44 unidades SI base + derivadas · análise dimensional em tempo de compilação
Unidades físicas são tipos de primeiro nível. Incompatibilidades dimensionais são erros de compilação. Um modelo PBPK de 100 variáveis carrega o seu tipo de unidade completo em cada passo.
Explore →PRIVACIDADE DIFERENCIAL
ε linear · mecanismo de Laplace · ruído GUM Tipo-B + incerteza genómica
O orçamento de privacidade ε é um tipo linear — o compilador impede o duplo consumo. O ruído integra-se na incerteza GUM; ambos são rastreados no mesmo tipo.
Explore →PROVAS DE GEOMETRIA
AlphaGeoZero · confiança Beta por solução · primeiro provador de geometria com ε
AlphaGeoZero prova problemas de geometria da OIM e reporta a confiança por problema como uma distribuição Beta — o primeiro provador de geometria que quantifica a sua própria incerteza.
Explore →RUNTIME NO BROWSER
Target WASM · PBPK de rapamicina no lado do cliente · souc build --backend wasm
Compile para WebAssembly. O modelo PBPK de dissertação corre no separador do browser — stdlib completa, zero servidor, tipos epistémicos intactos.
Explore →O COMPILADOR
souc é escrito em Sounio e bootstrapped em três estágios. Os binários do Estágio 2 e Estágio 3 são SHA-256 idênticos — o ponto fixo é a prova.
Bootstrap fixed-point
# Stage 0 → 1 (C-compiled seed)
souc-seed lean_single.sio gen1.elf
# Stage 1 → 2
./gen1.elf lean_single.sio gen2.elf
# Stage 2 → 3 (fixed-point check)
./gen2.elf lean_single.sio gen3.elf
sha256sum gen2.elf gen3.elf
# must be identicalEstado honesto das funcionalidades de farmacologia e segurança do paciente — não promessas de marketing.
Clone o repositório. Execute o compilador self-hosted. Leia as superfícies de prova. The public onboarding path is the checked self-hosted launcher. It type-checks and compiles to host binaries — no Rust/Cargo build step required for the default workflow.
$ git clone https://github.com/sounio-lang/sounio.git