Admin 9cd4997a3a 实现 12.7 类型检查：表达式类型、语句规则、FUNCTION 禁写全局。 ...

- Typecheck.h/cpp：三型（BOOL/INT/TIME）求值，AND/OR/NOT 只吃 BOOL、算术只吃 INT（TIME 无算术）、比较同型、IF/WHILE 条件必须 BOOL
- FUNCTION 禁写全局（含经 VAR_EXTERNAL）——用例 14 点亮；函数名赋值=返回类型
- FB 命名实参匹配字段类型；FB 实例不能当值
- typecheck_test：23 断言（用例 14 + 8 类负例 + 13 个正例），ctest 8/8

2026-08-21 11:26:55 +08:00

..

符号表与链接.md

实现 12.6 符号表与链接：全局定槽、引用解析、循环检测。

2026-08-21 11:14:03 +08:00

类型检查.md

实现 12.7 类型检查：表达式类型、语句规则、FUNCTION 禁写全局。

2026-08-21 11:26:55 +08:00

编译管线.md

文档同步双可执行架构：STCompiler + BytecodeExecutor。

2026-08-19 13:59:50 +08:00

词法.md

实现 12.5 递归下降语法：AST + 拒绝清单。

2026-08-21 11:07:34 +08:00

语法.md

实现 12.5 递归下降语法：AST + 拒绝清单。

2026-08-21 11:07:34 +08:00