undefined | Better HN

story

0 pointszozbot2342mo ago0 comments

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

0 comments

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

0 comments

uecker2mo ago

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