comp.lang.ada
 help / color / mirror / Atom feed
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Possible to recover default value of scalar type?
Date: Mon, 14 Dec 2020 19:53:23 +0100	[thread overview]
Message-ID: <rr8cav$9bv$1@gioia.aioe.org> (raw)
In-Reply-To: lyblewdz49.fsf@pushface.org

On 2020-12-14 19:24, Simon Wright wrote:
> "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> writes:
> 
>> [ It was a language design bug to allow implicitly uninitialized
>> variables in the first place. Declarations like above should have been
>> illegal. ]
> 
> There is an argument that you should only initialise variables at the
> point of declaration if you know what value they should take; so that
> the compiler can detect the use of uninitialised variables.

I think Robert Dewar argued that variables must be declared in the 
narrowest possible scope. Which would imply that at the beginning of 
that scope you should know the value, because it would be the first use 
of the variable.

> If you always initialize variables, even if you don't know what value
> they should take, the compiler can't help you if you forget to assign
> the correct value.

> Personally I always try hard not to declare an uninitialised variable.

Same here.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de

  reply	other threads:[~2020-12-14 18:53 UTC|newest]

Thread overview: 23+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2020-12-13  9:54 Possible to recover default value of scalar type? reinert
2020-12-14  0:08 ` Stephen Leake
2020-12-14  6:09   ` reinert
2020-12-14  9:01     ` AdaMagica
2020-12-14  9:38       ` Dmitry A. Kazakov
2020-12-14 15:56         ` AdaMagica
2020-12-14 16:31           ` Dmitry A. Kazakov
2020-12-14 18:24             ` Simon Wright
2020-12-14 18:53               ` Dmitry A. Kazakov [this message]
2020-12-15  6:47                 ` J-P. Rosen
2020-12-15  7:23                   ` Dmitry A. Kazakov
2020-12-15  9:07                     ` J-P. Rosen
2020-12-15 16:53                       ` Simon Wright
2020-12-15 18:14                         ` AdaMagica
2020-12-17  0:53                           ` Randy Brukardt
2020-12-17  0:48                   ` Randy Brukardt
2020-12-15  1:27           ` Randy Brukardt
2020-12-15  9:30             ` Niklas Holsti
2020-12-17  0:45               ` Randy Brukardt
2020-12-15  1:26         ` Randy Brukardt
2020-12-15  7:35           ` Dmitry A. Kazakov
2020-12-17  0:43             ` Randy Brukardt
2020-12-15  1:21       ` Randy Brukardt
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox