Skip to content

Reference

The reference section is the authoritative source for how Sailfin works.

Specification

Section titled “Specification”
  • Language Specification — Syntax, semantics, type system, and effect system, split by chapter (§1–§11). This is the normative reference for the current language.
  • Design Preview — Planned features not yet shipped. Informative only.

Grammars and Vocabulary

Section titled “Grammars and Vocabulary”
  • Grammar (EBNF) — Formal grammar in Extended Backus–Naur Form.
  • Keywords — All reserved words with descriptions.

Subsystems

Section titled “Subsystems”
  • Effect System — Canonical effects, inference rules, and diagnostics.
  • Standard Library — Built-in modules and APIs.
  • CLI Reference — sailfin command-line flags and subcommands.
  • Runtime ABI — Low-level interface between compiled Sailfin code and the runtime.

Canonical Source

Section titled “Canonical Source”

The specification’s canonical source lives in the site content under site/src/content/docs/docs/reference/ in the repository. This site is the rendered form.