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,42e401e32683b965
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII
Path: 
 g2news2.google.com!news4.google.com!feeder.news-service.com!pfeed08.wxs.nl!newsfeed.kpn.net!pfeed09.wxs.nl!feeder.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: "J-P. Rosen" <rosen@adalog.fr>
Newsgroups: comp.lang.ada
Subject: Re: A new notion: stronglly-typed-by-user language
Date: Sat, 17 Apr 2010 07:25:25 +0200
Organization: Adalog
Message-ID: <hqbgo7$bjk$1@news.eternal-september.org>
References: <hq6kht$kgl$1@news.eternal-september.org>
 <bdbc2b7d-49bb-4372-901e-001f9e796da9@b33g2000yqc.googlegroups.com>
 	<hq93i8$bl6$1@news.eternal-september.org>
 <aaea1354-19b1-4a94-9441-53e9cf970ac0@z11g2000yqz.googlegroups.com>
 	<hqagqj$p7q$1@news.eternal-september.org>
 <cf5f7b42-219c-4a21-afd4-5c3f0c7b2068@k33g2000yqc.googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 17 Apr 2010 05:25:27 +0000 (UTC)
Injection-Info: feeder.eternal-september.org;
 posting-host="GkHyU1NAVSDn9og2i84wqg";
	logging-data="11892"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX18kk0rSPu9Ci/wT/QLomDbc"
User-Agent: Thunderbird 2.0.0.24 (Windows/20100228)
In-Reply-To: 
 <cf5f7b42-219c-4a21-afd4-5c3f0c7b2068@k33g2000yqc.googlegroups.com>
Cancel-Lock: sha1:g9MqcclifvkIuPztynFhDdEkt7Q=
Xref: g2news2.google.com comp.lang.ada:11004
Date: 2010-04-17T07:25:25+02:00
List-Id: <comp.lang.ada>

Maciej Sobczak a �crit :
> On 16 Kwi, 22:20, "J-P. Rosen" <ro...@adalog.fr> wrote:
>> Maciej Sobczak a �crit :> So which C++ language features exactly make it not strongly typed?
>>
>> 1) Lack of user-defined elementary types
> 
> This is addressed by:
> 
> http://www.msobczak.com/prog/typegen/
This shows that an educated Ada programmer, well aware of the issues of
strong typing, can mimmic the same behaviour in C++. But how many C++
programmers use that?

>> 2) Type promotion
> 
> I don't see how type promotion violates the strong type safety.
Type promotion is based on the underlying representation, not on
abstract types. And it is a form of automatic type case - which is
always a bad idea IMHO.

Note that T'Base is the same type as T, so there is no issue here.
-- 
---------------------------------------------------------
           J-P. Rosen (rosen@adalog.fr)
Visit Adalog's web site at http://www.adalog.fr