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=-0.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,ab1d177a5a26577d
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII
Path: 
 g2news1.google.com!news1.google.com!news4.google.com!feeder1-2.proxad.net!proxad.net!feeder2-2.proxad.net!newsfeed.arcor.de!newsspool2.arcor-online.net!news.arcor.de.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: What's wrong with C++?
Newsgroups: comp.lang.ada
User-Agent: 40tude_Dialog/2.0.15.1
MIME-Version: 1.0
Content-Type: text/plain; charset="iso-8859-1"
Content-Transfer-Encoding: 8bit
Reply-To: mailbox@dmitry-kazakov.de
Organization: cbb software GmbH
References: 
 <1ee1a434-4048-48f6-9f5e-d8126bebb808@r19g2000prm.googlegroups.com>
 <b1f0b153-dc79-4b3c-a936-68723e76a4db@x1g2000yqb.googlegroups.com>
 <jbejuuszjy3y.vyllayr73kh0$.dlg@40tude.net>
 <alpine.WNT.2.00.1102170835130.5612@WHIRLWIND>
 <17coueqbf1p27.1g0wj3010saxe$.dlg@40tude.net>
 <op.vq2a2rkgule2fv@douda-yannick>
Date: Fri, 18 Feb 2011 10:17:55 +0100
Message-ID: <14fmkxe016w0$.zkw2kzyg9z0j$.dlg@40tude.net>
NNTP-Posting-Date: 18 Feb 2011 10:17:56 CET
NNTP-Posting-Host: f3aef99a.newsspool3.arcor-online.net
X-Trace: 
 DXC=83M>VVT4=8<n`gW2MTm]<3McF=Q^Z^V384Fo<]lROoR18kF<OcfhCO;bTfcCacN4d2[6LHn;2LCV>[<mhadbfdU;GYDg^flIal=0299jbkY>H4
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news1.google.com comp.lang.ada:17412
Date: 2011-02-18T10:17:56+01:00
List-Id: <comp.lang.ada>

On Thu, 17 Feb 2011 20:29:05 +0100, Yannick Duch�ne (Hibou57) wrote:

> Le Thu, 17 Feb 2011 17:12:37 +0100, Dmitry A. Kazakov  
> <mailbox@dmitry-kazakov.de> a �crit:
>> The first notice is that inferred types cannot be safe per definition.
>> There is no additional information involved. What is inferred, already  
>> is.
> 
> You are confused between safe by readability and safe by predictability ;)

No, I just consider type safety as, citing Wikipedia,

"Safety is the state of being "safe" (from French sauf), the condition of
being protected against physical, social, spiritual, financial, political,
emotional, occupational, psychological, educational or other types or
consequences of failure, damage, error, accidents, harm or any other event
which could be considered non-desirable."

When types are inferred they are in only one possible state. So it is
meaningless to consider them safe or not. But in connection to the
application domain they are definitely not safe.

> I agree type inference may leads to less readable texts, and that is why I  
> prefer this to be used for formal modeling only. But this is still safe,  
> although not from a most common human point of view.

Yes, C++ is a perfect language, although a bit inhumane...

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de