独立软件团队 — Est. 2025

主页 / Aero / 1.2.0

RELEASE — 01.2.0

AeroAero .. 1.2.01.2.0

语言核心 · AI 计算原语
自举 · 新一代生态。

NOT A VERSION —
A PERSPECTIVE.
SEREIN TEAM

VERSION / 版本

1.2.0

STATUS / 状态

Released

MODE / 模式

自举 · Aero 编译 Aero

PACKAGES / 生态

51 个

( 01 )

语言核心
新设计。

Language Core

1.1

Arena 2.0 — 嵌套内存管理NEW

新增 arena_from(parent, N) 关键字，全链路（lexer → parser → HIR → codegen）支持：

从父 Arena分配子 Arena，实现层级化内存管理。
Hierarchy
多个子 Arena 可从同一父 Arena 分配，子可独立 reset。
Resettable
编译期容量检查 + 运行时 OOB abort 保护。
Guarded

1.2

借用检查器 v2UPGRADE

LIFETIME

生命周期省略 v2

输入 &T 自动连接输出 &T。

2-PHASE

两阶段借用

&mut 临时借用允许与共享借用共存（方法调用场景）。

USE-AFTER-MOVE

错误提示大幅改进

use-after-move 建议「考虑用 &x」。

CONFLICT

智能建议

借用冲突建议「新作用域 {}」，悬垂引用建议加 'a 参数。

( 02 )

AI 计算原语
aero-rt 五模块。

Compute Primitives

quant.rs量化

bf16 / fp8(e4m3/e5m2) / int8 非对称&对称量化 + int8 量化 GEMM。

gpu.rsGPU 加速

CUDA / ROCm 检测、设备内存、h2d/d2h 拷贝、核函数注册启动；无 GPU 自动回退 CPU 模拟器。

dist.rs分布式

NCCL 风格集合通信：AllReduce / Broadcast / AllGather / Reduce / Barrier（纯 Rust 环形实现）。

onnx.rs模型交换

Protobuf 模型解析/生成、JSON 序列化、权重读取。

py.rsPython 互操作

NumPy .npy 零拷贝 mmap 读写、Python 子进程桥、NumPy ↔ PyTorch 转换。

模块 / MODULES

数据类型 / FORMATS

集合算子 / PRIMITIVES

100^%

Rust 实现

( 03 )

工具链
与构建系统。

Toolchain

aero-dap

调试器

DAP 协议服务器，aero debug <file> 供 IDE 接入（断点 / 堆栈 / 变量 / 继续）。

aero profile

性能采样

覆盖率插桩 → 火焰图 SVG（folded-sampler）。

aero doc

文档生成器

从 //////! 注释生成 rustdoc 风格 HTML。

aero fuzz

模糊测试

libFuzzer 风格覆盖率引导突变引擎。

3.5

构建系统升级

[workspace] members 发现。
Workspace
[features] 条件编译。
Features
[patch] 本地覆盖。
Patch
build.rs 预构建脚本注入。
Build Script

( 04 )

自举
编译器用 Aero 重写。

Bootstrap

这是本版的重要设计——路线图 ⑪ 五项全部完成。

parser.aero

递归下降解析

约 800 行 Aero 实现。

sema.aero

语义检查

约 800 行 Aero 实现。

codegen.aero

代码生成

经 LLVM-C FFI 生成真实 IR。

aero boot-exe

自举流水线

aero → aero → exe，实测 return 40 + 2 → 独立 exe 退出码 42。

( i )

Aero 源码parser / sema / codegen

→

( ii )

Aero 编译器用 Aero 编译自身

→

( iii )

boot-exe独立可执行程序

→

( iv )

退出码 42return 40 + 2 验证

( 05 )

生态
与包管理器。

Ecosystem

5.1

aero install — 一键拉取生态NEW

从 GitHub Release 拉取 packages.json，SHA-256 校验每个包，递归安装依赖树，写回 Aero.toml。幂等——重复安装不报错。

5.2

版本隔离新设计KEY

每个 Aero 版本只拉自己 tag 的 packages.json（releases/download/v1.2.0/packages.json），绝不碰 latest。未来出 1.3.0，1.2.0 用户依然只拿到 1.2.0 的包。

5.3

网络 / 数据库驱动

aero-tcp (Winsock2 FFI) → aero-http → aero-web (Axum 级 Router/Extract/中间件) →
aero-redis (纯 Aero RESP) → aero-sqlite (自包含 FFI + C shim) → aero-postgres (纯 Aero PG v3 协议)

5.4

共享库与跨语言

#[export] + aero build --shared（.so / .dll / .dylib）、C++ 绑定 --cpp、Python 扩展 --pyext、Android / iOS 交叉编译。

生态包 / PACKAGES

构建语言 / BINDINGS

序列化格式 / FORMATS

网络库层 / NETWORK

序列化

覆盖主流数据格式。

jsontomlyamlbsonmsgpackprost

网络与数据库

从传输到存储的完整链路。

tcphttpwebredispostgressqlite

数据结构与算法

文本、容器、算法工具。

containersalgorithmstext

全部要求 requires_aero: >=1.2.0

Aero 1.2.0
现已发布。

独立团队出品。自举、AI 计算原语、版本隔离生态——
安静地构建，精密地测量。

下载 Aero 1.2.0 ↓ VS Code 插件 GitHub

语言核心新设计。