On Tuesday, 17 May 2022 at 15:41:25 UTC, Paulo Pinto wrote:
>It certainly does have to a lot to catch up with SPARK, and NVidia has chosen Ada instead of Rust exactly because of that, yet there is money being thrown out at the problem, and standard organizations interested into making it happen.
It won't be there today, but it will eventually, because they have one specific answer to "what you use X for".
I'd say solutions will be developed when enough people who are into verification use it.
E.g. smart contracts in Rust: https://github.com/move-language