Wire Language Reference

Normative reference for the Wire source language. Grammar, module model, ports and matching, configured executors and evaluation boundary.

On this page
  1. Contents
  2. Related

Wire Language Reference

The Wire language reference is organized into a normative grammar specification plus topic-focused pages that factor out specific rule areas for quick consultation.

Contents

  • grammar.md — the normative grammar specification. The authoritative document; other pages in this directory point into its sections.
  • style.md — canonical formatting and layout conventions for Wire source files, examples, and documentation snippets.
  • modules-imports-and-file-returns.md — module model, import semantics, file-return expressions, declaration-only files. Corresponds to grammar §9.
  • contracts-ports-and-matching.md — contract namespace, port declarations, sum groups, labels, => port-key matching. Corresponds to grammar §4, §6.2–§6.5, §7.1, §7.6.
  • configured-executors-and-execution-boundary.md — configured executor values, explicit node admission, and the execution boundary.
  • executors-and-alphabet.md — executor registration, @ authority, configured executor values, and ambient identifiers in config values.
  • pure-execution.md — Wire-authored CorePure output equations, native pure evaluator lowering, input/output binding, builtins, and failure surface.
  • conditionality.md — exclusive-output reduction with select(...), latent continuations, arm keys, and current implementation status. Corresponds to grammar §7.7.

The rewrite algebra, admission, and materialization — a runtime concern — are in the separate Rewrites reference.

The grammar spec is self-contained. The topic pages exist to give readers a shorter, scope-limited entry point when they are looking for specific rules without wanting to read the whole spec.