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: 109fba,cd8ed9115942852f
X-Google-NewGroupId: yes
X-Google-Thread: 103376,b92b95c9b5585075
X-Google-NewGroupId: yes
X-Google-Attributes: gid4f1905883f,gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news3.google.com!feeder.news-service.com!feeder.erje.net!news.internetdienste.de!news.tu-darmstadt.de!news.belwue.de!newsfeed.arcor.de!newsspool2.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Date: Mon, 15 Aug 2011 13:38:17 +0200
From: Georg Bauhaus <rm.dash-bauhaus@futureapps.de>
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.6;
 rv:5.0) Gecko/20110624 Thunderbird/5.0
MIME-Version: 1.0
Newsgroups: comp.lang.c++,comp.lang.ada
Subject: Re: Why use C++?
References: <fb9f787c-af06-427a-82b6-b0684e8dcbc5@s2g2000vby.googlegroups.com>
 <j1kaj8$dge$1@adenine.netfront.net>
 <1e292299-2cbe-4443-86f3-b19b8af50fff@c29g2000yqd.googlegroups.com>
 <j1tha5$11q5$1@adenine.netfront.net>
 <1fd0cc9b-859d-428e-b68a-11e34de84225@gz10g2000vbb.googlegroups.com>
 <9ag33sFmuaU1@mid.individual.net> <j1v17b$h98$1@munin.nbi.dk>
 <1d8wyhvpcmpkd.ggiui9vebmtl.dlg@40tude.net> <j203cu$q97$1@dont-email.me>
 <150vz10ihvb5a.1lysmewa1muz4$.dlg@40tude.net> <j20cif$dr6$1@dont-email.me>
 <1q4c610mmuxn7$.1k6s78wa0r8fj.dlg@40tude.net> <j22c68$2m7$1@dont-email.me>
 <4e44e50a$0$7619$9b4e6d93@newsspool1.arcor-online.net>
 <j23fvr$gsf$1@dont-email.me>
 <4e4560e7$0$6546$9b4e6d93@newsspool4.arcor-online.net>
 <j2407a$3qv$1@dont-email.me>
 <4e46519e$0$7614$9b4e6d93@newsspool1.arcor-online.net>
 <j27o23$6ha$7@dont-email.me>
In-Reply-To: <j27o23$6ha$7@dont-email.me>
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 7bit
Message-ID: <4e490529$0$7611$9b4e6d93@newsspool1.arcor-online.net>
Organization: Arcor
NNTP-Posting-Date: 15 Aug 2011 13:38:17 CEST
NNTP-Posting-Host: ccb4630e.newsspool1.arcor-online.net
X-Trace: 
 DXC=kO[03[=]7OGj7E:bke<5HFic==]BZ:afN4Fo<]lROoRA<`=YMgDjhgBF8Vh=JL_3>Knc\616M64>JLh>_cHTX3jMMVB3`Ab<b;K
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news1.google.com comp.lang.c++:82995 comp.lang.ada:20632
Date: 2011-08-15T13:38:17+02:00
List-Id: <comp.lang.ada>

On 14.08.11 07:35, Jed 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?