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=2.0 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD,
	FREEMAIL_FROM,URI_WP_DIRINDEX autolearn=no autolearn_force=no
	version=3.4.4
X-Google-Thread: a07f3367d7,ab1d177a5a26577d
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!postnews.google.com!r19g2000prm.googlegroups.com!not-for-mail
From: Hyman Rosen <hyman.rosen@gmail.com>
Newsgroups: comp.lang.ada
Subject: Re: What's wrong with C++?
Date: Wed, 16 Feb 2011 11:09:01 -0800 (PST)
Organization: http://groups.google.com
Message-ID: 
 <21443638-5ec6-49d4-aafe-6fbc1e59daba@r19g2000prm.googlegroups.com>
References: 
 <1ee1a434-4048-48f6-9f5e-d8126bebb808@r19g2000prm.googlegroups.com>
 <4D5C1824.3020509@obry.net>
NNTP-Posting-Host: 204.253.252.20
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
X-Trace: posting.google.com 1297883341 19682 127.0.0.1 (16 Feb 2011 19:09:01
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Wed, 16 Feb 2011 19:09:01 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: r19g2000prm.googlegroups.com; posting-host=204.253.252.20;
 posting-account=NhXkHQoAAADUfNLRQrjReWdGEn5uz9E_
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.9.2.13)
 Gecko/20101203 Firefox/3.6.13,gzip(gfe)
Xref: g2news1.google.com comp.lang.ada:17304
Date: 2011-02-16T11:09:01-08:00
List-Id: <comp.lang.ada>

On 2/16/2011 1:32 PM, Pascal Obry wrote:
> just have a look at Barnes book "Safe and Secure Software".
> http://www.adacore.com/home/ada_answers/ada_2005/safe_secure/

I quickly found that it cheats:
<http://www.adacore.com/wp-content/uploads/
2008/04/02_safe_secure_ada_2005_safe_typing.pdf>

In the section where it discusses enumeration types,
it carefully limits itself to discussing C rather
than C++ although it discusses C++ elsewhere so that
it can make the more extreme comparison:

     ...an enumeration type in Ada truly is a different
     type and not a shorthand for an integer type.

In C++ an enumeration type is also a different type and
not a shorthand for an integer type, and its enumeration
literals are of that type.