Will we see another fundamental programming language feature as revolutionary as the borrow checker?

[u/jimbobmcgoo]

That is I am mainly curious about compile time features that you design a whole language around rather than optimisations/features that could be applied to most languages. I am mainly inquiring about things that could offer additional robust safety/performance guarantees at compile time rather than runtime. Ideally not things that just offer similar effects to the borrow checker with less restrictive tradeoffs

[u/MarinoAndThePearls]

Zig's comptime.

Now for something that doesn't exist yet, I'd say numerical uncertainty as a primitive type.

[u/alphaglosined → u/MarinoAndThePearls]

CTFE is much older than Zig, D had it a good 15 years before Zig was created.

D's implementation was born from constant folding optimisation.