Skip to content

Grammar Reference

Grammar Reference

This page is a compact guide to the main grammar categories from specs/GRAMMAR.md. It is not a full formal grammar listing.

Top-level forms

  • imports
  • exports
  • type declarations
  • binding declarations

Pattern forms

  • identifier patterns
  • record patterns
  • array patterns
  • literal patterns

Type forms

  • primitive type names
  • record types
  • array types
  • function types
  • generic types
  • union types
  • intersection types
  • literal types

Expression forms

  • literals
  • identifiers
  • records and arrays
  • function arrows
  • calls
  • member access
  • indexing
  • pipes
  • if
  • match
  • try/catch
  • throw
  • defer
  • generator arrows with yield

When to use this page

Use this page for orientation, then read the spec directly if you need exact grammar rules or parser-facing detail.