Specification

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

Specification

Sounio has a language specification document intended to describe syntax and semantics precisely.

Important: Spec vs Implementation

The spec can run ahead of what the compiler enforces in a given build configuration. In practice:

  • The compiler may require external dependencies (LLVM, CUDA, Z3) for “full” behavior.
  • Some features may exist as syntax + IR hooks but rely on stdlib/runtime support for execution.

When you need the compiler truth:

  • docs/compiler/KNOWN_LIMITATIONS.md
  • tests/ fixtures (run-pass and UI tests)

Start Here