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,FREEMAIL_FROM
	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-7-bit
Path: 
 g2news2.google.com!postnews.google.com!e7g2000yqf.googlegroups.com!not-for-mail
From: Gautier write-only <gautier_niouzes@hotmail.com>
Newsgroups: comp.lang.ada
Subject: Re: A new notion: stronglly-typed-by-user language
Date: Sun, 18 Apr 2010 13:38:56 -0700 (PDT)
Organization: http://groups.google.com
Message-ID: <52b7b2ba-ca54-42f4-abd7-41082a49a333@e7g2000yqf.googlegroups.com>
References: <hq6kht$kgl$1@news.eternal-september.org>
NNTP-Posting-Host: 62.203.108.67
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
X-Trace: posting.google.com 1271623137 31392 127.0.0.1 (18 Apr 2010 20:38:57
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Sun, 18 Apr 2010 20:38:57 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: e7g2000yqf.googlegroups.com; posting-host=62.203.108.67;
	posting-account=gRqrnQkAAAAC_02ynnhqGk1VRQlve6ZG
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/5.0 (Windows; U; Windows NT 6.0; en-US; rv:1.9.1.9)
	Gecko/20100317 SeaMonkey/2.0.4,gzip(gfe)
Xref: g2news2.google.com comp.lang.ada:11027
Date: 2010-04-18T13:38:56-07:00
List-Id: <comp.lang.ada>

> "C++ is a strongly typed language, if conversions between logically
> unrelated types are avoided".

The whole debate went over my head of a simple programming language
user, but perhaps it would be enlightening to have a few examples. For
instance:

- in C++, is it possible to do arithmetic with the (or a) boolean
type, or convert silently from/to integer ?
- in C++, is it possible to assign a value of a type enum1 to a
variable of type enum2, or is it possible to do any mix or arithmetic
without something like enum1'Pos ?

Sorry, I don't have the answer (my last experience with C++ was 15
years ago, linked to some math exercise...). Any help ?
______________________________________________________________
Gautier's Ada programming -- http://gautiersblog.blogspot.com/
NB: For a direct answer, e-mail address on the following web site:
http://www.fechtenafz.ethz.ch/wm_email.htm