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=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,b92b95c9b5585075
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news4.google.com!feeder.news-service.com!feeder.erje.net!newsfeed.utanet.at!newsfeed01.chello.at!newsfeed.arcor.de!newsspool4.arcor-online.net!news.arcor.de.POSTED!not-for-mail
User-Agent: NewsTap/3.2 (iPad)
From: Georg Bauhaus <rm-host.bauhaus@maps.arcor.de>
Newsgroups: comp.lang.ada
Content-Type: text/plain; charset=UTF-8
Mime-Version: 1.0
Content-Transfer-Encoding: 8bit
Message-ID: 
 <1218254588335044590.360477rm-host.bauhaus-maps.arcor.de@news.arcor.de>
Subject: Re: Why use C++?
References: <j27o23$6ha$7@dont-email.me>
Date: 14 Aug 2011 20:13:48 GMT
Organization: Arcor
NNTP-Posting-Date: 14 Aug 2011 22:13:48 CEST
NNTP-Posting-Host: 082c5b59.newsspool1.arcor-online.net
X-Trace: 
 DXC=eKm5Q[K1>Q4TQL:hoD@>T?ic==]BZ:af>4Fo<]lROoR1<`=YMgDjhg22\<H^chg\50PCY\c7>ejV80[gA\o5>0[<o>^o4JH8RO3
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news1.google.com comp.lang.ada:20629
Date: 2011-08-14T22:13:48+02:00
List-Id: <comp.lang.ada>

"Jed" <jehdiah@orbitway.net> wrote:

>> (4) If a language L2 doesn't require X for P, you may
>>     learn X, but need not.
> 
> But maybe one would want to.

Sure. I think that a type system designed on behalf
of others will profit when the designers look at the
results of existing type systems in the hand of real
people.

If there were evidence that 80% of CVEs are caused
by use of some fundamental types, would you suggest
keeping those types and, I don't know, fire the guys
who wrote the programs, telling them they shouldn't
be programming?