Language

Designed for evidence-aware software, not just numerical output.

Sounio treats scientific trust as a language concern. The type system keeps uncertainty, provenance, and effect boundaries visible from first line to production deployment.

Read the Language Guide Try the Playground

Core Pillars

Mechanisms that make trust and performance coexist in one systems language.

Knowledge<T> as a Primitive

Values carry uncertainty, confidence, and provenance by default instead of external spreadsheet logic.

Confidence-Gated Execution

Control flow can branch on confidence guarantees, so runtime behavior reflects evidence quality.

Explicit Effects

I/O, mutation, allocation, GPU, and probabilistic effects are visible in function signatures.

Units + Constraints

Dimensions and refinement checks make invalid scientific operations fail before deployment.

The Knowledge<T> Progression

Every value evolves through four tiers — from bare numeric to a fully epistemic, provenance-tracked type.

Tier 1
T

Raw scalar or structured value with no attached evidence metadata.
Tier 2
Quantity<T, Unit>

Value promoted to dimension-aware representation with unit constraints.
Tier 3
Knowledge<T>

Uncertainty, confidence, and source attribution become part of the value.
Tier 4
Knowledge<T, Provenance>

Executable value with traceability chain for audit and reproducibility.

What Epistemic Code Looks Like

Trust conditions become explicit runtime behavior rather than hidden assumptions.

let concentration: Knowledge<mg_per_l> = measure(
  value: 9.8,
  uncertainty: 0.3,
  confidence: 0.97,
  source: "lab_run_042"
)

if concentration.confidence > 0.95 {
  approve_for_decision(concentration)
} else {
  request_remeasurement(concentration)
}

From Measurement to Decision

Uncertainty propagates automatically through every operation. Confidence gates enforce data quality at the call site — no boilerplate.

Measure

Capture value + uncertainty + confidence from instrument or model.

Propagate

Composition rules carry uncertainty through transformations.

Evaluate

Confidence thresholds and effect policies decide admissibility.

Act

Execution continues only when evidence satisfies gate criteria.