Why is D unpopular?

[Paulo Pinto]

On Tuesday, 17 May 2022 at 14:46:41 UTC, max haughton wrote:
> On Tuesday, 17 May 2022 at 05:22:57 UTC, Paulo Pinto wrote:
>> On Tuesday, 17 May 2022 at 04:34:16 UTC, max haughton wrote:
>>> On Tuesday, 17 May 2022 at 02:43:31 UTC, Ola Fosheim Grøstad 
>>> wrote:
>>>> [...]
>>>
>>> Other than memory safety rust doesn't have all that many 
>>> virtues beyond any other language for guaranteeing 
>>> correctness.
>>>
>>> Ada remains the top dog for properly critical software. SPARK 
>>> still does not have many proper challengers in the space.
>>
>> Those who care for Ada, or correctness, are also interested 
>> into bringing Rust into the game,
>>
>> https://blog.adacore.com/adacore-and-ferrous-systems-joining-forces-to-support-rust
>>
>> https://www.autosar.org/news-events/details/autosar-investigates-how-the-programming-language-rust-could-be-applied-in-adaptive-platform-context/
>
> I'm not surprised, but I also think Rust has a long way to go 
> to really compete on technical grounds with at least some 
> aspects of Ada
>
> Whether rust is useful or not depends on whether the program 
> has to actually allocate memory or not.

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".