AutoLang

v0.0.0 · Edition 2026
正在开发中
Under Development

项目概览 Overview

AutoLang 是一个正在开发中的系统编程语言,可以认为是:更纯粹自洽的 C++、没有借用检查的 Rust、有 RAII 的 Zig。 其语法主要源自 Cpp2、Rust 等语言,并从多个方面修正 C++ 的历史错误。此外,我们还会引入代数效应。 AutoFront 是 AutoLang 的编译器前端,目前基于 Rust 实现,我们会在语言逐渐可用后开始规划前端自举。 同时 AutoLang 的语言特性、语义和语法等也在渐进地设计中,我们会在合适的时机提供完整详细的文档,以及 AutoFront 开发相关的资料。

AutoLang is a systems programming language under development. It can be described as: a more pure and self-consistent C++, Rust without borrow checking, or Zig with RAII. The syntax is primarily inspired by Cpp2, Rust, and other languages, while correcting many historical mistakes of C++. Additionally, we will introduce algebraic effects. AutoFront is the compiler frontend for AutoLang, currently implemented in Rust. We will begin planning frontend self-hosting once the language becomes gradually usable. Meanwhile, AutoLang's language features, semantics, and syntax are being progressively designed. We will provide comprehensive documentation and AutoFront development materials at the appropriate time.

编译管线进度 Compilation Pipeline Progress

AutoLang 编译器采用传统的多阶段编译管线架构,当前各阶段的开发状态如下:

AutoLang compiler uses a traditional multi-stage compilation pipeline. Current development status:

源代码 Source Code
词法分析器 Lexer
Token 树 Token Tree
语法分析器 Parser
AST AST
HIR 生成器 HIR Generator
HIR HIR
AIR 生成器 AIR Generator
AIR AIR
代码生成器 Code Generator
目标代码 Target Code