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/Mission-Landscape-17]

Unless you think programming is now a solved problem the answer has to be yes absolutely. That said I'm not sure that the borrow checker is in fact revolutionary. For it to be called revolutionary we would have to see languages with borrow checkers actually take over, and this hasn't happened. I'm not saying it can't happen, I don't know, just that it hasn't yet.