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,FREEMAIL_FROM
	autolearn=unavailable autolearn_force=no version=3.4.4
X-Received: by 10.99.63.202 with SMTP id m193mr40347894pga.63.1483537528214;
        Wed, 04 Jan 2017 05:45:28 -0800 (PST)
X-Received: by 10.157.43.243 with SMTP id u106mr2385580ota.2.1483537528169;
 Wed, 04 Jan 2017 05:45:28 -0800 (PST)
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!news.glorb.com!b123no192644itb.0!news-out.google.com!u18ni3523ita.0!nntp.google.com!b123no191464itb.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Wed, 4 Jan 2017 05:45:27 -0800 (PST)
In-Reply-To: <o4ir0c$1q10$1@gioia.aioe.org>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=2a02:2ab8:224:1:ac1b:12f9:145d:7968;
 posting-account=F4OyugoAAABQod8iTn6AU7wMocsaGOvw
NNTP-Posting-Host: 2a02:2ab8:224:1:ac1b:12f9:145d:7968
References: <deaa5406-3a20-4836-9961-9b8fa32a1810@googlegroups.com>
 <87r34j39u6.fsf@nightsong.com>
 <7643d59e-061f-42df-adda-9322608f127b@googlegroups.com>
 <o4i5lf$ja4$1@dont-email.me>
 <a1fa3aaa-b81f-4057-9700-ada47d83ca20@googlegroups.com>
 <o4iqcv$jph$1@dont-email.me> <o4ir0c$1q10$1@gioia.aioe.org>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <75f2482a-a94b-4820-b2b1-990010103709@googlegroups.com>
Subject: Re: Introductory Ada Programming Book
From: raph.amiard@gmail.com
Injection-Date: Wed, 04 Jan 2017 13:45:28 +0000
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable
Xref: news.eternal-september.org comp.lang.ada:33043
Date: 2017-01-04T05:45:27-08:00
List-Id: <comp.lang.ada>

Le mercredi 4 janvier 2017 13:49:18 UTC+1, Dmitry A. Kazakov a =C3=A9crit=
=C2=A0:
> On 2017-01-04 13:40, J-P. Rosen wrote:
>=20
> > Oddly, variables are not initialised by default
> > (Personal opinion: default initialization is a huge mistake)
>=20
> Right, but Ada is still wrong there. IMO it should have been:
>=20
> declare
>     I : Integer :=3D 1; -- OK
>     J : Integer; -- Error: not initialized
>     K : Integer :=3D <>; -- OK: uninitialized, I know what I am doing
>=20

Or do it Swift's way and use flow analysis to make use of an uninitialized =
variable a compile time error. Meh. I guess it's complicated enough as it i=
s to implement an Ada compiler :)