The syntax really makes me think to Zig - https://ziglang.org/documentation/master/#Introducing-the-Compile-Time-Concept https://ziglang.org/documentation/maste

The syntax really makes me think to Zig - https://ziglang.org/documentation/master/#Introducing-the-Compile-Time-Concept https://ziglang.org/documentation/master/#Introducing-the-Co.... I'd be curious to know if the authors of this paper have looked at it.