Why is D unpopular?

[Ola Fosheim Grøstad]

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