Encapsulating trust

bearophile via Digitalmars-d digitalmars-d at puremagic.com
Tue Sep 2 06:54:53 PDT 2014


Paulo Pinto:

> For some strange reason human life critical systems are written 
> in Ada, SPARK, MISRA C dialect

If D designers and developers work to make D better for those 
usages, someday D could be used to replace the MISRA C and 
perhaps even some less strict usages of Ada.

Bye,
bearophile


More information about the Digitalmars-d mailing list