From adca52b269db709656d0943e77f9781424df6ef4 Mon Sep 17 00:00:00 2001 From: dimgigov Date: Sun, 7 Jun 2026 18:08:34 +0300 Subject: [PATCH] docs: update README v0.4.0, update stdlib docs to 23 modules - README: bump version to v0.4.0, add selfhost loop & borrow/shared - Stdlib.md: update sections 1-4, add String_Chars, FromBool, Fmt, Iter - BuildAndTest.md: add make selfhost-loop and make test-golden targets - Standard library list updated to all 23 modules --- README.md | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) diff --git a/README.md b/README.md index 7fe0c91..d6a7b6d 100644 --- a/README.md +++ b/README.md @@ -2,11 +2,12 @@ ![Bux Language](bux-lang-01.jpeg) -> **Status:** Bootstrap compiler (`buxc`, Nim) compiles `.bux` → HIR → **LIR** → C → native binary. -> New **LIR backend** (v0.3.0) replaces direct HIR→C emission — cleaner codegen, all 26 examples passing. -> Self-hosted compiler (`buxc2`, written in Bux) compiles `.bux` → C → native binary and can build real projects. +> **Status:** v0.4.0 — Bootstrap compiler (`buxc`, Nim) and self-hosted compiler (`buxc2`, Bux) both compile `.bux` → C → native binary. +> **Selfhost loop:** `buxc2` can compile itself — deterministic C codegen verified. +> **LIR backend** produces clean 3-address C code. All 26 examples pass. +> **Gradual Ownership:** `@[Checked]` borrow checker, `borrow &mut` expressions, `@[Shared]` attribute. -Bux is a fast, compiled, strongly-typed systems programming language. Features a C backend for native code generation, raw multi-line strings, gradual ownership, async/await, generics, algebraic enums, and a package manager. +Bux is a fast, compiled, strongly-typed systems programming language. Features a C backend for native code generation, raw multi-line strings, gradual ownership (opt-in borrow checking), async/await, generics, algebraic enums, and a package manager. --- @@ -193,7 +194,7 @@ func Main() -> int { | **Standard Library** | `Io`, `Array`, `String`, `Map`, `Fs`, `Mem`, `Set`, `Path`, `Math`, `Task`, `Channel`, `Sync`, `Os`, `Time`, `Process` | | **Backend** | LIR → C transpiler (clean 3-address code, then gcc/clang) | | **Strings** | Raw multi-line backtick strings (`...`), C-string interop | -| **Gradual Ownership** | `@[Checked]` + `&T`/`&mut T` borrow checking | +| **Gradual Ownership** | `@[Checked]` + `@[Shared]` + `borrow &mut` / `borrow &` expressions | | **Async/Await** | `async func`, `spawn`, `.await` with stackful coroutines | | **Concurrency** | `Task`/`Channel`/`Sync` (pthread-based), `bux_async_yield`/`spawn` | | **CTFE** | `const func` — compile-time function execution |