[zozbot234]

"You can inspect types and build new types at compile time" is a key affordance of dependently typed languages.

[uecker]

I agree. I am not terribly convinced by C++ or Zig's comptime. You should be able to do this at run-time, and then just be able to make it a constant.