Beskid Documentation

A statically typed language focused on readable semantics and compiler architecture.

Documentation map

Language specification

Canonical language semantics, typing, control flow, modules, contracts, events, lambdas, and extern model.

Execution model

HIR, CLIF lowering, ABI contracts, runtime/syscall ownership, and backend parity rules.

Standard library

Core, Collections, Query, and System API contracts with stable naming and boundary policy.

Guides and drafts

Implementation notes, analysis guides, and work-in-progress design docs.