"You can inspect types and build new types at compile time" is a key affordance ... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		zozbot234 5 days ago \| parent \| context \| favorite \| on: Zig – io_uring and Grand Central Dispatch std.Io i... "You can inspect types and build new types at compile time" is a key affordance of dependently typed languages.

		help

uecker 2 days 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.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact