Skip to content
Beskid
Search
Ctrl
K
Cancel
GitHub
Select theme
Dark
Light
Auto
Language Spec
Language Specification
Code Style and Naming
Contracts (Explicit Interfaces)
Control Flow
Enums and Match
Error Handling
Events (Zero-Cost Multicast)
FFI and Extern
Glossary and Conformance
Lambdas and Closures
Lexical Structure and Syntax
Memory and References
Metaprogramming (Incremental)
Method Dispatch
Modules and Visibility
Name Resolution
Beskid Specification
Standard Library API Shape
Type Inference
Types
Execution
Execution
architecture
Execution Architecture
JIT and AOT execution model
Execution stack responsibilities
JIT/AOT execution boundary
backends
Backends
AOT backend specification
JIT backbone specification
ir-and-lowering
IR and Lowering
HIR to CLIF lowering rules
HIR specification and analysis integration
Name mangling specification
Runtime object layout
Type system and inference rules
Type system examples
memory
Memory
Beskid GC specification (Go-style)
Write barrier insertion policy
Execution specification index
runtime
Runtime
Error model specification
FFI and C ABI specification
Runtime overview
Runtime syscall ownership and ABI boundary
Standard Library
Standard Library
Collections
Collections.Array
Collections.List
Collections.Map
Collections.Queue
Collections Module Group
Collections.Set
Collections.Stack
Core
Core.ErrorHandling
Core Module Group
Core.Results
Core.String
Query
IteratorQuery.Contracts
Query.Execution
Query.Operators
Query Module Group
Standard Library Specification
System
System.Environment
System.FS
System.Path
System.Process
System Module Group
System.Time
Guides
Guides
analysis
Beskid Semantic Analysis Specification
Semantic Rules Catalog
lsp
Beskid LSP Architecture and Protocol Specification
Beskid LSP Docs
Beskid LSP Testing and Observability
projects
Build and Run Workflow (v1)
Project Examples
Lockfile (`Project.lock`)
Beskid Project Manifest (`Project.proj`)
Beskid Projects (HCL-based)
Project Resolution
GitHub
Select theme
Dark
Light
Auto
Memory
This category defines runtime memory behavior required by both JIT and AOT backends.
GC specification
Write barrier policy