Yes your last remark is exactly what it's all about.
I think the cost of porting existing Dapps code to an other language/environment is extremlly cheaper than the one of continuing to work with a non-mastered environment (EVM + Solidity or whatever language), because the cost of building new tools for Formal Verification for example is tremendous. So why don't we leverage existing language/environment/tools that have been enhanced and lasting for decades now.
I started learning Ada with my first programming courses (it's a Object-Oriented and mainely used in Safety & Security critical programs (was used in the ExoMars space mission :) ))