compile-time

Revo 是一种新的编程语言，具有干净的数据流（无嵌套）、错误即值、一切皆表达式、编译时执行和过程宏等特点。

Mitchell Hashimoto 展示了如何利用 Zig 的 comptime 创建标签联合的子集类型，无需穷举处理即可实现编译时安全。