undefined | Better HN

0 pointszozbot2344mo ago0 comments

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

0 comments

1 comments · 1 top-level

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.

j / k navigate · click thread line to collapse