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,29d8139471e3f53e
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news3.google.com!feeder1.cambriumusenet.nl!feed.tweaknews.nl!193.201.147.78.MISMATCH!feeder.news-service.com!news.mixmin.net!weretis.net!feeder4.news.weretis.net!news.teledata-fn.de!newsfeed.arcor.de!newsspool4.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Date: Wed, 22 Sep 2010 23:20:24 +0200
From: Georg Bauhaus <rm-host.bauhaus@maps.futureapps.de>
User-Agent: Mozilla/5.0 (Macintosh; U; Intel Mac OS X 10.6; en-US;
 rv:1.9.2.9) Gecko/20100915 Thunderbird/3.1.4
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Preventing type extensions
References: <87iq2bfenl.fsf@mid.deneb.enyo.de>
	<66a3704c-54f9-4f04-8860-aa12f516134b@t3g2000vbb.googlegroups.com>
	<87d3sib44t.fsf@mid.deneb.enyo.de>
	<134q4k2ly2pf4$.17nlv1q6q5ivo.dlg@40tude.net>
	<4c8dec8e$0$6990$9b4e6d93@newsspool4.arcor-online.net>
	<epkb3s8dfxk0$.1qdvo5vg2fsgh.dlg@40tude.net>
	<8f6cceFrv2U1@mid.individual.net>
	<135a7dc9-3943-45e4-884b-3cc6bce3db0a@q18g2000vbm.googlegroups.com>
	<i6m45c$gjp$2@news.eternal-september.org>
	<c75a88c5-1d51-4342-904a-743e41adeb7f@k9g2000vbo.googlegroups.com>
	<i7afm3$dn8$1@news.eternal-september.org>
	<a9a93110-c5a1-41cb-b36a-0e8da7f4cacf@q26g2000vbn.googlegroups.com>
	<i7air8$q3k$1@news.eternal-september.org>
	<81799aab-a2e8-4390-8f42-abceaa5fc032@m1g2000vbh.googlegroups.com>
	<i7cd4n$9tj$1@news.eternal-september.org>
	<5c0d7798-ba09-4bd0-a28f-f1b028cce927@y3g2000vbm.googlegroups.com>
	<87r5gl8tky.fsf@ludovic-brenta.org>
 <8762xxd0az.fsf@mid.deneb.enyo.de>	<1oqw5btmqxu43$.1tzbqy0zcwep8.dlg@40tude.net>
 <87zkv9a5kl.fsf@mid.deneb.enyo.de>
In-Reply-To: <87zkv9a5kl.fsf@mid.deneb.enyo.de>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <4c9a7318$0$6876$9b4e6d93@newsspool2.arcor-online.net>
Organization: Arcor
NNTP-Posting-Date: 22 Sep 2010 23:20:24 CEST
NNTP-Posting-Host: 43ccaed1.newsspool2.arcor-online.net
X-Trace: 
 DXC=0UJaL3?bO<7_A0jCfgHO6>A9EHlD;3Yc24Fo<]lROoR18kF<OcfhCO;XdnLg6R?g59PCY\c7>ejV8@MFKnfZYd]7AVP@_c3RTf2
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news1.google.com comp.lang.ada:14201
Date: 2010-09-22T23:20:24+02:00
List-Id: <comp.lang.ada>

On 9/22/10 10:25 PM, Florian Weimer wrote:
> * Dmitry A. Kazakov:

>> At least to me, it is impossible to achieve consistency and clearness of
>> design any close to what can be done in Ada. Looking at C++ class libraries
>> designed by other people assures me that I am not alone.
>
> I don't doubt that this has been your experience, but this in no way
> contradicts that the C++ type system is way more expressive than
> Ada's.

The bi-weekly CVEs demonstrate that C++'s fundamental type system,
by choice still basically C's, is such that all the expressiveness
built on top of it will not effectively compensate.  So let's not
go nuts and recognize instead that a fantastically powerful type system
is just as important as making programmers understand "int".