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!news4.google.com!news3.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!newsfeed00.sul.t-online.de!t-online.de!grolier!oleane.net!oleane!hunter.axlog.fr!nobody
From: Jean-Pierre Rosen <rosen@adalog.fr>
Newsgroups: comp.lang.ada,comp.lang.fortran,comp.lang.pl1
Subject: Re: Ada vs Fortran for scientific applications
Date: Tue, 11 Jul 2006 19:08:22 +0200
Organization: Adalog
Message-ID: <eul09e.bgk.ln@hunter.axlog.fr>
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>
NNTP-Posting-Host: mailhost.axlog.fr
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 8bit
X-Trace: s1.news.oleane.net 1152640864 1616 195.25.228.57 (11 Jul 2006
 18:01:04 GMT)
X-Complaints-To: abuse@oleane.net
NNTP-Posting-Date: Tue, 11 Jul 2006 18:01:04 +0000 (UTC)
User-Agent: Thunderbird 1.5.0.4 (Windows/20060516)
In-Reply-To: <kROsg.7$Pg1.2@fe11.lga>
Xref: g2news2.google.com comp.lang.ada:5625 comp.lang.fortran:11952
 comp.lang.pl1:1992
Date: 2006-07-11T19:08:22+02:00
List-Id: <comp.lang.ada>

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...

Which shows the limitations of static checking for uninitialized variables.
-- 
---------------------------------------------------------
            J-P. Rosen (rosen@adalog.fr)
Visit Adalog's web site at http://www.adalog.fr