Re: Heartbleed

[Georg Bauhaus <rm-host.bauhaus@maps.futureapps.de>]

On 12/04/14 09:15, Nasser M. Abbasi wrote:

> Until this is fixed in Ada, it would make no difference how
> safe and robust Ada as a language is. You can make Ada
> 100% more safe than it is today, and it will still not be
> used and adopted by the masses.

One trend in language design seems to be adding the "usual suspects"
of current compiler research to popular languages. Traits, generic
classes, nullable, async, lambdas, optional static type checking
... as present in the Hack language, for example, which is PHP so
amended.

Facebook has hired famous C++/D people and others to help
them with languages. Nothing like Ada is involved, I guess.
But a lot of money and popularity are in it.

Maybe Ada would have to overcome its reputation and just offer
a model of a good fundamental type system (for scalar types)
that, if added to C, fixes a number of issues in C. Using this
dialect, then, neither C programmers nor Ada programmers would
lose face or have to swallow pride.

I.e., let the embedded programming profession drop "int",
also add better arrays to C and most CVEs will be gone for good!