一门类型严格的语言,编译为高效、可读的 JavaScript,并支持自动生成 TypeScript 类型。
7478485OCamlOther更新于 昨天
一门实验性的编译型编程语言,语法规则面向 AI 生成、人工审阅的代码,无垃圾回收,编译到 C。
Koral 是一门编译型编程语言,设计思路是:越来越多的代码由 AI 智能体生成,但最终仍需人来阅读。语法上尽量减少出错的可能:每条语句以分号显式结束,可变性在类型声明处一次性确定,模块级名称只有一个归属,错误处理直接写在表达式内部,而不使用 throw、try 或 catch。
语言没有垃圾回收器,也没有手动 free。具名类型只有两种声明形式:不可变的 `type` 和可共享的 `type mutable`,内存管理由这一选择自然决定。编译器输出 C 代码,以便在多种平台上使用。语言支持代数数据类型、穷举模式匹配、带 trait 约束的泛型、trait 对象、C FFI 以及 `defer`。
项目目前处于实验阶段,尚不适用于生产环境。编译器采用自举方式,用 Koral 自身编写,并由一个冻结的 Swift 参考编译器引导构建。
克隆仓库
git clone https://github.com/kulics/koral.git构建冻结的 Swift 参考编译器(需要 Swift 工具链)
swift build -c release --package-path compiler-reference用参考编译器构建自托管编译器
compiler-reference/.build/release/koralc build --package-config compiler/koral.json --target-module koralc -o bin/compiler概要由 AI 根据项目 README 生成;GitHub 数据每日更新。
一门类型严格的语言,编译为高效、可读的 JavaScript,并支持自动生成 TypeScript 类型。
Go 编程语言,用于构建简单、可靠、高效软件的开源语言。
Rust 编程语言的主源码仓库,包含编译器、标准库和官方文档。
Sway 是一门受 Rust 启发的编程语言,用于在 Fuel 区块链上编写智能合约。
一门简单、快速、可编译的编程语言,用于编写易维护的软件,无第三方库依赖。
Odin 是一门面向数据导向设计的通用系统编程语言,定位为 C 语言的替代品。