从零利用 AI 辅助开发一门编程语言｜Rust + LLVM 22 实现 Aero 编程语言
一、项目概述依托 AI 辅助基于 Rust LLVM 22 从零实现静态类型编程语言 AeroAero 是轻量化静态类型语言语法借鉴 C、Rust剔除大量冗余语法设计。目标面向编译原理学习者同时可以用来快速编写小型程序编译后输出无依赖跨平台独立可执行文件二、核心特性静态类型编译期类型检查提前拦截运行时异常LLVM 22 后端生成优化本地机器码支持跨平台编译极简语法参考 C/Rust降低阅读与上手成本独立二进制产物不需要额外运行时配套 VS Code 语法高亮插件三、关于 AI 辅助开发整个编译器工程并非纯手写大量语法树构造、类型逻辑、LLVM 绑定代码借助 AI 协作完成。但关键架构、语义规则、bug 调试全部人工把控。AI 适合做重复代码生成、资料检索、思路拓展编译器核心逻辑依然需要自己理解、校验、重构四、开发进度我们的核心编译器已就绪。158 集成测试、49类型系统测试全部通过。正在完成顶层 const 常量编译期填充与模块系统mod/use/pub/crate打通多文件工程化 —— 这是迈向 1.0.0 的最后一根地基五、代码展示// Aero 代码展示 println(Hello, Aero!); println(欢迎你来参观);// 变量与运算代码展示 let x 5; let y 2; println(x , x); println(x * y , x * y); println(x / y , x / y); println(x % y , x % y);// 函数定义 fn add(a, b) - i64 { return a b; } fn factorial(n) - i64 { if (n 1) { return 1; } return n * factorial(n - 1); } println(3 4 , add(3, 4)); println(5! , factorial(5));开源地址官网GitHubhttps://github.com/SereinCin/aero-lang教程仓库https://github.com/SereinCin/aero-book官方网站https://serein.ren后续我们开源1.0.0正式版(MIT协议) 持续迭代标准库、完善文档持续更新开发进展欢迎感兴趣的朋友交流探讨
