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,a9b0810d3106d9b8
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,UTF8
Path: 
 g2news2.google.com!news3.google.com!proxad.net!feeder1-2.proxad.net!weretis.net!feeder5.news.weretis.net!news-peer.in.tum.de!news.belwue.de!newsfeed.arcor.de!newsspool4.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Date: Mon, 25 Apr 2011 13:00:03 +0200
From: Georg Bauhaus <rm.dash-bauhaus@futureapps.de>
User-Agent: Mozilla/5.0 (Macintosh; U; Intel Mac OS X 10.6; en-US;
 rv:1.9.2.17) Gecko/20110414 Thunderbird/3.1.10
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Fun with C
References: <27cf3992-4132-4483-9110-adc7a089cd4a@e8g2000vbz.googlegroups.com>
 <54108d8d-4e7c-4901-bd5e-819d27720d48@a11g2000pro.googlegroups.com>
 <4daa8fc6$0$7652$9b4e6d93@newsspool1.arcor-online.net>
 <37428a21-61b4-4cdf-9897-7b84252f8fce@a11g2000pro.googlegroups.com>
 <bb4c1f93-a338-4d0b-9d68-7f1c0111a1ce@l2g2000prg.googlegroups.com>
 <4dab6906$0$6893$9b4e6d93@newsspool2.arcor-online.net>
 <57a1fa4b-4730-41a8-be8a-82061ef9dc22@x37g2000prb.googlegroups.com>
 <4daca6ba$0$6773$9b4e6d93@newsspool3.arcor-online.net>
 <33973ba6-c390-4af1-9116-6facb12e2878@u12g2000vbf.googlegroups.com>
 <alpine.LNX.2.00.1104251058250.3587@Bluewhite64.example.net>
In-Reply-To: <alpine.LNX.2.00.1104251058250.3587@Bluewhite64.example.net>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Message-ID: <4db55433$0$6771$9b4e6d93@newsspool3.arcor-online.net>
Organization: Arcor
NNTP-Posting-Date: 25 Apr 2011 13:00:03 CEST
NNTP-Posting-Host: ea315895.newsspool3.arcor-online.net
X-Trace: 
 DXC=[2:n1^ZS0ekf1oJaJ0@dmgMcF=Q^Z^V3h4Fo<]lROoRa8kF<OcfhCOk7\h0LkIE_PePCY\c7>ejVhAD=4nEB4j9`>^M=Idf1H[n
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news2.google.com comp.lang.ada:20017
Date: 2011-04-25T13:00:03+02:00
List-Id: <comp.lang.ada>

On 4/25/11 1:06 PM, Paul Colin Gloster wrote:

> It was suspected in John R. Anderson; and Robin Jeffries, "Novice LISP
> Errors: Undetected Losses of Information from Working Memory",
> "Human-Computer Interaction", Volume 1, 1985 that people can
> successfully learn to overcome minor problems, but when they later are
> trying to solve harder problems then they make simple mistakes which
> they had already learnt to not make.

The impact of typos and other glitches seems a most interesting criterion
for error classification and how a language facilitates ease of checking.


> Anyway, the C example explicitly involved  int  and  unsigned int  and
> there is no guarantee that  int  is  signed int  though it is with
> many compilers.

That int is signed is defined by the language C, I think.
C99, § 6.2.5