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,c4cb2c432feebd9d
X-Google-Thread: 1094ba,c4cb2c432feebd9d
X-Google-Thread: 101deb,15c6ed4b761968e6
X-Google-Attributes: gid103376,gid1094ba,gid101deb,public
X-Google-Language: ENGLISH,ASCII
Path: 
 g2news2.google.com!news1.google.com!news3.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!nx01.iad01.newshosting.com!newshosting.com!68.1.17.232.MISMATCH!peer01.cox.net!cox.net!p01!fed1read12.POSTED!53ab2750!not-for-mail
From: James Dennett <jdennett@acm.org>
User-Agent: Thunderbird 1.5.0.4 (Macintosh/20060516)
MIME-Version: 1.0
Newsgroups: comp.lang.ada,comp.lang.fortran,comp.lang.pl1
Subject: Re: Ada vs Fortran for scientific applications
References: <mubcg.13522$fb2.853@newssvr27.news.prodigy.net>
 <epcs4e.qb8.ln@hunter.axlog.fr> <tHkcg.6937$kR6.484@trnddc05>
 <0ugu4e.4i7.ln@hunter.axlog.fr>
 <PkHcg.90575$Fs1.7198@bgtnsc05-news.ops.worldnet.att.net>
 <To_cg.10095$S7.4017@news-server.bigpond.net.au>
 <%P_cg.155733$eR6.26337@bgtnsc04-news.ops.worldnet.att.net>
 <6H9dg.10258$S7.9150@news-server.bigpond.net.au>
 <XVadg.76594$_S7.45873@newssvr14.news.prodigy.com>
 <1hfv5wb.1x4ab1tbdzk7eN%nospam@see.signature>
 <pan.2006.05.25.12.11.52.919554@linuxchip.demon.co.uk.uk.uk>
 <2006052509454116807-gsande@worldnetattnet>
 <R%dsg.63336$fb2.7555@newssvr27.news.prodigy.net>
 <bFesg.111860$mF2.27790@bgtnsc04-news.ops.worldnet.att.net>
 <1kzktalo9krea$.z8n9wev45xct$.dlg@40tude.net>
 <z9Dsg.2740$tE5.2374@news-server.bigpond.net.au>
 <pPHsg.46977$VE1.46332@newssvr14.news.prodigy.com> <kROsg.7$Pg1.2@fe11.lga>
 <eul09e.bgk.ln@hunter.axlog.fr>
In-Reply-To: <eul09e.bgk.ln@hunter.axlog.fr>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 8bit
Message-ID: <E5_sg.3413$lv.2279@fed1read12>
Date: Tue, 11 Jul 2006 20:35:00 -0700
NNTP-Posting-Host: 68.8.52.20
X-Complaints-To: abuse@cox.net
X-Trace: fed1read12 1152675300 68.8.52.20 (Tue, 11 Jul 2006 23:35:00 EDT)
NNTP-Posting-Date: Tue, 11 Jul 2006 23:35:00 EDT
Organization: Cox Communications
Xref: g2news2.google.com comp.lang.ada:5636 comp.lang.fortran:11967
 comp.lang.pl1:2003
Date: 2006-07-11T20:35:00-07:00
List-Id: <comp.lang.ada>

Jean-Pierre Rosen wrote:
> John W. Kennedy a �crit :
>> (Java is the only language I know of that will actually fail the 
>> compile unless it /knows/ that every variable is initialized before 
>> use in every possible path.)
>>
> But it doesn't work! In Java, you have the rule that every variable must 
> be initialized before being used, PLUS the rule that every variable is 
> initialized automatically to zero! Why that? Because with a clever use 
> of initializers, you can still access variables before they are 
> initialized...

The checking is done for local variables only, and there is no
way to access those before they are initialized.

Variables that cannot be checked in this manner are created
with default values, prior to receiving value that may be
defined by the code.

-- James