Learn

Documentation built for researchers shipping production systems.

Navigate language fundamentals, epistemic mechanics, compiler internals, and domain guides from one structured learning hub.

Getting Started

Install the compiler, run your first .sio program, and learn the basics.

  • Hello World
  • Your First Program

Language Guide

Core syntax and semantics, aligned with the current compiler.

  • Variables & Types
  • Functions
  • Control Flow

Epistemic Types

Uncertainty, confidence, and provenance as first-class program data.

  • Knowledge<T>
  • Uncertainty
  • Provenance

Effects

Make side effects explicit with `with IO`, `with Panic`, `with Async`, and custom effects.

  • IO
  • Custom Effects

Feature Status

Implementation status for Sounio's standard library and language features

  • GPU Programming
  • Units of Measure
  • Standard Library
  • Tooling
  • LSP

Examples

Where to find runnable Sounio code in the repo.

  • Vancomycin Uncertainty

Compiler Internals

A guided map of the `souc` compiler: frontend, type checking, IRs, and backends.

  • Lexer & Parser
  • Type System
  • Effect System
  • Code Generation
  • Scientific Features

Specification

How to read the Sounio language spec and where it may differ from the implementation.

  • Language Spec (v1.0.0)