Learn

A clear path into the language.

Choose your next step. Each guide connects the language to actual repository files, prerequisites and known limits.

Start with Sounio

The English specification is canonical. Translated entry guides do not imply that every technical page has been translated and reviewed.

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
  • Units and Uncertainty

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)