标签
Revo 是一种新的编程语言,具有干净的数据流(无嵌套)、错误即值、一切皆表达式、编译时执行和过程宏等特点。
Mitchell Hashimoto 展示了如何利用 Zig 的 comptime 创建标签联合的子集类型,无需穷举处理即可实现编译时安全。