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: a07f3367d7,42e401e32683b965
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news4.google.com!news3.google.com!feeder.news-service.com!newsfeed.straub-nv.de!noris.net!newsfeed.arcor.de!newsspool1.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Date: Thu, 15 Apr 2010 12:49:42 +0200
From: Georg Bauhaus <rm.dash-bauhaus@futureapps.de>
User-Agent: Thunderbird 2.0.0.24 (Macintosh/20100228)
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: A new notion: stronglly-typed-by-user language
References: <hq6kht$kgl$1@news.eternal-september.org>
In-Reply-To: <hq6kht$kgl$1@news.eternal-september.org>
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
Message-ID: <4bc6ef46$0$6776$9b4e6d93@newsspool3.arcor-online.net>
Organization: Arcor
NNTP-Posting-Date: 15 Apr 2010 12:49:43 CEST
NNTP-Posting-Host: 0890ee02.newsspool3.arcor-online.net
X-Trace: 
 DXC=\2[0Q[==5:bj5k5aEF7ISmMcF=Q^Z^V3h4Fo<]lROoRa8kF<OcfhCOkK=BPK4hl>2nnc\616M64>jLh>_cHTX3jm>5UgN4cN1kg
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news1.google.com comp.lang.ada:9993
Date: 2010-04-15T12:49:43+02:00
List-Id: <comp.lang.ada>

J-P. Rosen schrieb:
> While preparing the upcomming "Using Object Oriented Technologies in
> Secure Systems" tutorial for Ada-Europe (plug, plug...), I came across
> this beautiful statement (OOTiA, B.1.1.6):
> 
> "C++ is a strongly typed language, if conversions between logically
> unrelated types are avoided".
> 
> Ain't that cute?


The argument is brilliant, I think.
(At least outside its specific context, which is the weak types
of C still underlying C++, where weak refers to the definitions
of the cited document.)  I'm serious.

"if you avoid doing stupid things" brings the sane programmer
into focus who wouldn't actually convert between logically
unrelated types, anyway. You want sane programmers.

Add this argument to your marketing speech repertoir.

If a type system is needed to avoid stupid conversions,
then what does this tell us about Ada programmers, huh?