快速开始

RCL（Reality Compiler Language，现实编译语言）用于描述一个现实状态变化涉及什么对象、主体、约束、权限、证据、风险、执行者和提交条件。

准备环境

当前版本为实验版本，安装资源需由官方发布后配置。你可以先使用本站 Playground 的教学 Demo 适配器体验语法结构。

第一个程序

world hello_reality {
  object greeting {
    state text: String = "尚未问候"
  }

  subject operator "human:reader"

  transform greet by operator {
    guard greeting.text != "已问候"
    effect greeting.text = "已问候"
  }
}

检查与运行

rcl --version
rcl check examples/hello-reality/main.rcl
rcl run examples/hello-reality/main.rcl

check 只做静态验证与投影；run 才会尝试提交候选现实。