Why is D unpopular?

[max haughton]

On Tuesday, 17 May 2022 at 02:43:31 UTC, Ola Fosheim Grøstad 
wrote:
> On Tuesday, 17 May 2022 at 01:57:44 UTC, forkit wrote:
>> [...]
>
> Actually, C is one of the few languages in use where there are 
> industtial verification solutions...
>
> [...]

Z3 and LLVM are not written in C, unless you mean the stable APIs 
to them.

The Z3 C++ interface is actually implemented on top of the C API.