3 ms·
"You can inspect types and build new types at compile time" is a key affordance of dependently typed languages.
by zozbot234 9mo ago
"You can inspect types and build new types at compile time" is a key affordance of dependently typed languages.
- uecker 9mo agoI 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.