跳转至

Ctron:AI Native 系统编程语言

Ctron 从设计之初就以 AI 生成代码为主要使用方式。语法、类型系统、错误模型、诊断格式,每一层都围绕"AI 写、人审"这个前提做出取舍。

设计原则

AI 写,人类读。 AI 生成的代码结构正确但细节出错——变量名拼错、类型不匹配、遗漏边界条件。Ctron 把这类错误挡在编译期:每个错误带稳定错误码,诊断结构化输出,类型推断有明确规则。AI 收到错误码后可以精确修正,不需要从自然语言描述中猜意图。

语义清晰,所见即所意。 一个赋值语句不会触发构造函数或自定义运算符。没有 null,没有隐式数值转换,没有宏,没有未定义行为。代码做了什么,就是它看起来的样子。

没有魔法。 标准库是 Ctron 源码,不是编译好的二进制。编译器也是 Ctron 写的。AI 可以读标准库源码理解 API 行为,不需要查文档。

在清晰无歧义的前提下尽可能简洁。 ? 做错误传播,scope 做结构化并发,use 做模块导入。每个语法构造只做一件事。

三条命令

ctron run main.ct      # 解释执行,不需要任何 C 工具链
ctron check main.ct    # 静态检查,--format=json 出结构化诊断
ctron build main.ct    # 发射 C → 本机 cc → 原生可执行

解释路径零外部依赖。发射路径自包含——运行时全部内联,只含系统头文件。同一份源码,开发和部署不换语言。

真自举

编译器全部是 Ctron 源码。三级自举固定点已脚本化复现:不同平台发射出的 C 逐字节相同,并作为发布承诺进 CI。

自举证明语言能写真实软件。标准库也是 Ctron 源码——AI 可以读标准库源码理解 API,不需要查文档。

结构化并发与错误链

任务跑在 scope / spawn / join 之下——块作用域管理,取消沿 scope 传播。失败以 Result 错误链上溯,message / cause / trace 层层可见。Send 检查在编译期完成。

导航

页面 内容
入门 安装三法、hello ctron、第一个可执行、项目模式
示例 ctgrep / ctwc / ctwf 注解源码与复现命令
下载 五平台产物矩阵、校验、Windows 说明
语言规范 v0.8 冻结草案,诊断一律带稳定错误码
标准库参考 模块签名表

仓库:ZturnLibs/Ctron · 源码构建:compiler/BOOTSTRAP.md。