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,640b65cbfbab7216
X-Google-Attributes: gid103376,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!postnews.google.com!v23g2000pro.googlegroups.com!not-for-mail
From: Adam Beneschan <adam@irvine.com>
Newsgroups: comp.lang.ada
Subject: Re: Ada.Strings.Bounded
Date: Wed, 23 Apr 2008 08:12:24 -0700 (PDT)
Organization: http://groups.google.com
Message-ID: 
 <62dde2ab-d6ad-454b-aa87-8dbc23855903@v23g2000pro.googlegroups.com>
References: <q5CdnepU0ZzTxmzanZ2dnUVZ_t-nnZ2d@earthlink.com>
	<144w648u50r6q.1erjxxu0cplbw.dlg@40tude.net>
 <d5dc2989-7c5e-416b-ad6f-54f187fb6e3b@a9g2000prl.googlegroups.com>
	<g0h6sr1pyq67.vixepl474n4k$.dlg@40tude.net>
 <611360e0-595c-43a7-b5cb-137a278ec0c1@s13g2000prd.googlegroups.com>
	<15389tuelo6x6$.1c1a6yixordts$.dlg@40tude.net>
 <4c1be2a2-0178-4c1f-8c96-526020550f42@w4g2000prd.googlegroups.com>
	<wcczlrnb8rz.fsf@shell01.TheWorld.com>
 <15514187-d7d0-4650-a058-13ec5684be2c@w5g2000prd.googlegroups.com>
	<wcck5ir84on.fsf@shell01.TheWorld.com>
 <07e98c4f-9b79-412f-9e95-94dd04082355@p39g2000prm.googlegroups.com>
	<wcck5ipkic6.fsf@shell01.TheWorld.com>
 <3eb5775f-c7f7-4f92-9154-8f25246b8592@p25g2000hsf.googlegroups.com>
	<wcck5ipu17t.fsf@shell01.TheWorld.com>
 <480f1298$0$6782$9b4e6d93@newsspool2.arcor-online.net>
NNTP-Posting-Host: 66.126.103.122
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
X-Trace: posting.google.com 1208963544 19838 127.0.0.1 (23 Apr 2008 15:12:24
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Wed, 23 Apr 2008 15:12:24 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: v23g2000pro.googlegroups.com; posting-host=66.126.103.122;
	posting-account=duW0ogkAAABjRdnxgLGXDfna0Gc6XqmQ
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.7.12)
	Gecko/20050922 Fedora/1.7.12-1.3.1,gzip(gfe),gzip(gfe)
Xref: g2news1.google.com comp.lang.ada:21062
Date: 2008-04-23T08:12:24-07:00
List-Id: <comp.lang.ada>

On Apr 23, 3:42 am, Georg Bauhaus <rm.dash-bauh...@futureapps.de>
wrote:

> Without of course knowing why the choices were made the
> way they were made for the LRM, my conclusion is that
> many programmers still prefer high school ideas about
> numbers over the theory of computer numbers.

Nahhh, we just want to write programs that work, and have a language
that helps prevent us from making stupid errors, but without forcing
us to waste time writing needless junk in order to have things fit
more consistently into some "theory".  Remember, "theory" is our
servant, not our master.

                                -- Adam