Yay let’s lock ourselves into the formal verification toolsets, so that we can never use new language features again.
OR new languages and frameworks ever again, since they'll slow down code generation due to lack of training, and from LLM generation standpoint this is a terrible thing to trade off.
Yes. Correct software is more important than developer convenience.
When you board a plane, don't you love thinking about how the controllers can make use of the hottest new language features? Perhaps JSON in the stdlib?