项目概览
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
Token 树
Token Tree
AST
AST
HIR
HIR
AIR
AIR
目标代码
Target Code