你想用 RCL 完成什么？

普通编程语言主要描述「计算机怎样执行计算」。RCL（Reality Compiler Language，现实编译语言）进一步描述：一个现实状态变化涉及什么对象、主体、约束、权限、证据、风险、执行者和提交条件。

选择一个目标开始

不需要预先理解 RCL 术语。每个入口都会把你带到对应的课程、文档或工具。

第一次认识 RCL

从「RCL 为什么存在」开始，10 节课建立完整认知。

安装并运行第一个程序

选择系统与用途，获得推荐安装方式与验证命令。

从传统编程语言迁移

函数≠变换、异常≠中止、日志≠证据。

编写 Agent 任务规格

主体、权限范围、Provider 能力与证据链。

编写可回滚的现实事务

accept / abort / rollback 与四维鲁棒证书。

学习 24 项现实结构面

𝔉₂₄ = D₁₄ ⊔ P₅ ⊔ M₃ ⊔ A₂。

学习 4R 现实鲁棒核

哪些候选现实有资格被提交。

下载 RCL Tutor Skill

让其他 Agent 正确安装、学习与使用 RCL。

24 项现实结构面

𝔉₂₄ = D₁₄ ⊔ P₅ ⊔ M₃ ⊔ A₂

回答「什么可以被表达、组合与变换」：对象、状态、主体、关系、约束、因果、证据、权限、世界、变换、候选现实、可执行结构。

4R 全局现实鲁棒核

四项不可互相补偿；任一维度为 0，候选现实即不得被提交。

10 分钟内开始

零基础入门：从“RCL 为什么存在”开始，逐步理解现实对象、类型化变量、约束、24 项结构面、4R 鲁棒核，直到独立写出一个可回滚的现实事务。

共 10 节课，约 4 小时；毕业项目为「软件修改现实事务（毕业项目）」。

当前状态

稳定版本：0.93.4

实验版本：0.94.0-alpha.1

文档版本：Docs 0.94.0-alpha.1 (Draft)

当前 Playground 使用教学 Demo Adapter，尚未连接正式 Web 编译器；下载安装资源需由官方发布后配置。