标签: 编译器

RedScript 类型系统深度解析

RedScript 的类型系统有一个非常鲜明的特点：它不是为了抽象而抽象，而是为了把高级语言安全地压到 Minecraft datapack 的 scoreboards、NBT storage 和 execute 语义里。所以理解 RedScript 类型，不能只看语法名词，还要看“它最后在运行时会变成什么”。

基础类型：`int`、`double`、`fixed`、`string`、`bool`

int 仍然是最核心的运行时值，绝大多数控制流、计时器、枚举 tag、scoreboard 计算都以它为中心。fixed 和 double 则体现了 RedScript 对数值语义的区分：fixed 是定点数，适合 scoreboard 体系里的可控算术；double 是另一条更重的运行时通路，适合需要真实浮点语义的场景。类型检查器已经把它们视为不同数值族，int -> fixed、int -> double 都不能隐式转换。

baka_mashiro大约 5 分钟

RedScript v3.0 新特性全解析

RedScript v3 这一轮最值得写的，不是宣传页上的“更强大”，而是哪些能力已经真实打通到了 parser、typechecker、HIR/MIR 甚至 emit，哪些还停留在语法层。把这条边界说清楚，比罗列新关键字更有价值。

`match on string`：字符串分支终于不是整数黑魔法

src/__tests__/compiler/match-string.test.ts 已经把这件事写得很直白：match cmd { "help" => ... } 会落成对 storage rs:strings 的 if data ... matches "help" 检查，而不是先把字符串映射成某个手搓枚举值。对 datapack 开发来说，这很实用，命令字、模式名、UI 输入都能直接分发。它的意义不只是语法更像现代语言，而是字符串值终于进入了编译器可分析的控制流。

baka_mashiro大约 4 分钟

RedScript 编译器架构解析

RedScript 的核心问题不是“怎么解析一门语言”，而是“怎么把高级语义压进一个几乎没有控制流抽象的目标平台”。Minecraft Datapack 最终只有一堆 .mcfunction 文件，而函数调用、变量、枚举、模式匹配这些概念，都必须在编译阶段被拆成 scoreboard、storage 和 execute 命令链。

因此 RedScript 的编译器没有停在 AST 上直接 codegen，而是走了一条比较典型、但针对 MC 目标做过裁剪的流水线：Parser → HIR → MIR → LIR → .mcfunction。

baka_mashiro大约 5 分钟

RedScript v3.0 — match 表达式、for-each 迭代与 stdlib 大扩充

RedScript v3.0 正式发布。这个版本专注于让代码写起来更自然——更少样板，更清晰的意图表达。

match 表达式

告别冗长的 if/else 链。match 让分支逻辑一目了然：

match player_state {
    STATE_IDLE    => { start_walking(p) }
    STATE_WALKING => { check_destination(p) }
    STATE_COMBAT  => { update_combat(p) }
    _             => { }
}