From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!news.albasani.net!uucp.gnuu.de!newsfeed.arcor.de!newsspool2.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Date: Sat, 12 Apr 2014 11:28:08 +0200
From: Georg Bauhaus <rm-host.bauhaus@maps.futureapps.de>
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.9;
 rv:24.0) Gecko/20100101 Thunderbird/24.1.0
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Heartbleed
References: <1ljwj8f.1wqbhvuabsdw1N%csampson@inetworld.net>
 <51c7d6d4-e3be-44d5-a4ce-f7e875345588@googlegroups.com>
 <li9g34$9q8$1@dont-email.me> <%J32v.70539$kp1.45343@fx14.iad>
 <liap70$ckq$1@speranza.aioe.org>
In-Reply-To: <liap70$ckq$1@speranza.aioe.org>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <53490728$0$6719$9b4e6d93@newsspool3.arcor-online.net>
Organization: Arcor
NNTP-Posting-Date: 12 Apr 2014 11:28:08 CEST
NNTP-Posting-Host: fd8623d8.newsspool3.arcor-online.net
X-Trace: 
 DXC=J^HKZ3NQnf2i6K;>iZ]763McF=Q^Z^V384Fo<]lROoR18kF<OcfhCO;aRI?S[K>i74PCY\c7>ejV86m<>NG7KP_:\WJF9J\DZD=
X-Complaints-To: usenet-abuse@arcor.de
Xref: news.eternal-september.org comp.lang.ada:19259
Date: 2014-04-12T11:28:08+02:00
List-Id: <comp.lang.ada>

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.

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 bought famous C++/D people and others to help
them with languages. Nothing like Ada is involved, I guess.
But a lot of money and (perceived) popularity are in it.

Maybe Ada would have to overcome its reputation and 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 embedded programming drop "int", also add better arrays
to C arrays and most CVEs will be gone for good!