这个主要是为了预备 Ra 解释器实现（当然 Ra 计划的实现是基于编译器 / 虚拟机结构的，受到 Lua 的启发，或者说基本是抄 Lua 的，我只是代码的复写工）ADT 系统的 Product Type（Structure）、Sum type（C 里的 Union + Enum 合体）实现被称为 dat，又是另一回事了 面向对象的多态特性（因为 Ra 还是支持 subtyping 和部分面向对象的，而且它还支持 Trait 和自动查找 Trait instance，虽然 Ra 编译器的目标语言是动态处理类型的...）…