Bootstrap · a new-generation ecosystem.
A PERSPECTIVE.
SEREIN TEAM
Language core
A new design.
Arena 2.0 — Nested Memory ManagementNEW
The new arena_from(parent, N) keyword is supported end-to-end (lexer → parser → HIR → codegen):
- Allocate a child Arena from a parent Arena to enable hierarchical memory management.Hierarchy
- Multiple child Arenas can be allocated from the same parent, and each child can independently reset.Resettable
- Compile-time capacity checking plus runtime
OOB abortprotection.Guarded
Borrow Checker v2UPGRADE
Lifetime elision v2
Input &T automatically links to output &T.
Two-phase borrows
&mut temporary borrows may coexist with shared borrows (method-call scenarios).
Greatly improved error messages
use-after-move suggests "consider using &x".
Smart suggestions
Borrow conflicts suggest "a new scope {}"; dangling references suggest adding a 'a parameter.
AI compute primitives
aero-rt, five modules.
Toolchain
and the build system.
Debugger
A DAP protocol server; aero debug <file> for IDE integration (breakpoints / stack / variables / continue).
Performance sampling
Coverage instrumentation → flamegraph SVG (folded-sampler).
Documentation generator
Generate rustdoc-style HTML from //////! comments.
Fuzzing
A libFuzzer-style coverage-guided mutation engine.
Build System Upgrade
- [workspace] members discovery.Workspace
- [features] conditional compilation.Features
- [patch] local overrides.Patch
- build.rs pre-build script injection.Build Script
Bootstrap
a compiler rewritten in Aero.
A defining design of this release — all five items on roadmap ⑪ are complete.
Recursive-descent parsing
≈ 800 lines of Aero.
Semantic analysis
≈ 800 lines of Aero.
Code generation
Generates real IR via LLVM-C FFI.
Bootstrap pipeline
aero → aero → exe; verified return 40 + 2 → standalone exe exit code 42.
Ecosystem
and the package manager.
aero install — ecosystem in one commandNEW
Pulls packages.json from GitHub Release, verifies each package with SHA-256, recursively installs the dependency tree, and writes back to Aero.toml. Idempotent — re-running install is harmless.
Version isolation, redesignedKEY
Each Aero version pulls only its own tagged packages.json (releases/download/v1.2.0/packages.json) and never touches latest. When 1.3.0 ships, 1.2.0 users still only ever receive the 1.2.0 packages.
Network / Database Drivers
aero-tcp (Winsock2 FFI) → aero-http → aero-web (Axum-level Router/Extract/middleware) →
aero-redis (pure-Aero RESP) → aero-sqlite (self-contained FFI + C shim) → aero-postgres (pure-Aero PG v3 protocol)
Shared Libraries & Cross-Language
#[export] + aero build --shared (.so / .dll / .dylib), C++ bindings --cpp, Python extensions --pyext, Android / iOS cross-compilation.
All require requires_aero: >=1.2.0
Aero 1.2.0
is now available.
Built by an independent team. Bootstrap, AI compute primitives, version-isolated ecosystem —
build quietly, measure precisely.