Tag
Revo is a new programming language that features clean data flow without nesting, errors-as-values, everything as expressions, compile-time execution, and procedural macros.
Mitchell Hashimoto demonstrates how to use Zig's comptime to create subset types of tagged unions, enabling compile-time safety without exhaustive case handling.