Skip to content

Compiler Development

Arena Agent edited this page Sep 18, 2026 · 1 revision

Compiler Development | توسعه کامپایلر

Front end

The lexer turns source into tokens; the parser builds the AST; semantic checking validates types, ownership, scopes, and language rules.

Execution paths

The interpreter executes the checked representation directly. The native backend lowers it to Cranelift IR and links the runtime. Changes affecting either path should include a parity test.

Runtime ABI

Exported plix_* symbols, calling conventions, and value representation are tracked separately from the public language API. Read ABI_CHANGELOG.md before changing runtime boundaries.

Quality gates

Use the repository commands in CONTRIBUTING.md, including Rust checks, the release test battery, negative programs, and deterministic parity fuzzing. Keep a failing case small and add it to the appropriate suite.

Clone this wiki locally