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: 
 border1.nntp.dca3.giganews.com!backlog3.nntp.dca3.giganews.com!border1.nntp.dca.giganews.com!nntp.giganews.com!usenet.blueworldhosting.com!feeder01.blueworldhosting.com!feeder.erje.net!eu.feeder.erje.net!newsfeed.fsmpi.rwth-aachen.de!feeder1-2.proxad.net!proxad.net!feeder2-2.proxad.net!newsfeed.arcor.de!newsspool2.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Date: Sat, 12 Apr 2014 11:33:20 +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: <53490860$0$6717$9b4e6d93@newsspool3.arcor-online.net>
Organization: Arcor
NNTP-Posting-Date: 12 Apr 2014 11:33:20 CEST
NNTP-Posting-Host: ddefc954.newsspool3.arcor-online.net
X-Trace: DXC=Z\N=:jnRM[:d8Nb@@ZG@b=McF=Q^Z^V384Fo<]lROoR18kF<OcfhCO;
 ^@^?JcUT=d9PCY\c7>ejV8n25QS6@fRa<65cZ:=AL5b;
X-Complaints-To: usenet-abuse@arcor.de
X-Original-Bytes: 2427
Xref: number.nntp.dca.giganews.com comp.lang.ada:185695
Date: 2014-04-12T11:33:20+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. 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!