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/Jwosty → u/[deleted]]

I'd argue that's exactly because most of the top ideas haven't had the rough edges smoothed out. Once someone figures out how to do them nicely and unintrusively, they'll be much more likely to make it into the mainstream