PBXB64 V23 language reference
Rust supported commands and scope
Single crate root/modules, x86-64 Windows, typed scalars, structs/enums/traits/generics/closures, fixed macro_rules shapes, Vec/Box/Option/Result/Cell and C FFI. No Cargo, full std, procedural macros, unwinding, graphics/GUI/I/O or complete borrow/lifetime checking.
Status: experimental. Source basis: PBXB64/docs/RUST_SCOPE.md and PBXB64/src/frontends/rust (lexer, macro_rules expander, parser, lowerer).
Back to language detailPBXB64 overviewDeutschLexical / Lexik
| Name | Syntax / form | Scope | Boundary |
|---|---|---|---|
| literals | 0x / 0o / 0b; i8..u64; usize/isize | Integer/float/char/string literals and separators. | Byte literals, hash raw strings and hex/Unicode char escapes are rejected. |
Items and types / Items und Typen
| Name | Syntax / form | Scope | Boundary |
|---|---|---|---|
| fn struct enum union | fn name(...) -> T | Functions, structs, enums and unsafe union reads. | Source-/syntax-backed subset; no whole-language or aggregate qualification claim. |
| trait impl dyn | trait T { ... } | Traits, impl blocks and dyn trait objects. | Monomorphisation is bounded; full rustc layout is not claimed. |
| mod use extern | mod name; use path; extern "C" | Modules, imports and C/system ABI declarations. | Unresolved paths and unsupported ABIs diagnose. |
Expressions and control / Ausdrücke und Ablauf
| Name | Syntax / form | Scope | Boundary |
|---|---|---|---|
| if match loop while for | if cond { ... } | Branches, loops, labels, pattern matching and break/continue. | Open-ended for ranges and unsupported patterns are rejected. |
| Option / Result / ? | value? | Builtin result propagation and methods. | 30 Option and 25 Result methods are declared; runtime failure exits are bounded. |
| Vec / Box / Cell | Vec<T>, Box<T>, Cell<T> | Builtin allocation/container surfaces. | Standard library beyond the declared builtin surface is outside the subset. |
Traits, closures, macros / Traits, Closures, Makros
| Name | Syntax / form | Scope | Boundary |
|---|---|---|---|
| generics / traits | fn f<T: Trait>(...) | Generic items, bounds, associated types/constants. | Source-/syntax-backed subset; no whole-language or aggregate qualification claim. |
| closures | |x| expr | Closures with capture analysis and function-pointer/Box<dyn Fn> conversion. | Source-/syntax-backed subset; no whole-language or aggregate qualification claim. |
| macro_rules! | macro_rules! m { ... } | Fixed-shape declarative macros. | 16 rules, 64 expansion passes and 32 hygiene locals are caps; procedural macros are out. |
FFI and failure / FFI und Fehler
| Name | Syntax / form | Scope | Boundary |
|---|---|---|---|
| extern "C" | extern "C" fn | Win64 C ABI declarations/definitions. | Only C, Rust and system ABIs are accepted. |
| unsafe | unsafe { ... } | Unsafe blocks for raw pointers/union reads. | Borrow/lifetime checking beyond escape/mutability is absent. |