Skip to content
Beskid

Beskid Language

Beskid is a statically typed language designed to teach compiler construction. It draws inspiration from Rust (safety and explicit aliasing) and C# (readability). In v0.1, the priority is semantic clarity and a compact specification.

Goals

Section titled “Goals”
  • Readable syntax with strong static typing.
  • No nulls: only Option.
  • A single type system (no reference/value split).
  • Explicit references: ref T (and ref mut T planned).
  • Garbage collector with an easy-to-understand memory model.

v0.1 Scope

Section titled “v0.1 Scope”
  • Functions, types, enums, match.
  • Basic control flow (if/while/for).
  • Modules and visibility.
  • Option/Result as the primary error types.
  • First-class attributes (declarations + typed applications).

Out of scope (draft)

Section titled “Out of scope (draft)”
  • Generator model and broader metaprogramming scheduling remain in drafts.
  • Active draft: docs/guides/drafts/metaprogramming/metaprogramming.md.

Documentation

Section titled “Documentation”
  • docs/spec — language semantics and typing rules (normative).
  • docs/execution — runtime, ABI, lowering, and backend contracts (normative).
  • docs/standard-library — standard library contracts (normative).
  • docs/guides — drafts, tooling notes, and project workflow guides (informative).

See: docs/spec/README.md, docs/execution/README.md, docs/standard-library/README.md.