D for safety critical applications

[Elronnd]

On Tuesday, 9 February 2021 at 10:10:05 UTC, IGotD- wrote:
> On Monday, 8 February 2021 at 11:09:49 UTC, Imperatorn wrote:
>> 2. Are there any plans to make a certified compiler?
>
> Just to put it into some perspective. I have worked with so 
> called certified C/C++ compilers in the automotive industry. I 
> remember encountered several bugs in those compilers as well 
> they are usually far behind when adopting the new language 
> standards. Compare this to GCC, when was the last time you 
> encountered a bug in that compiler? I can't remember any.

You may mean different things by ‘certified’.

In some contexts, the term refers to a formally verified 
compiler, like, cakeml or compcert, which has been mathematically 
proven not to have any compilation bugs.  I would be inclined to 
trust such a compiler.