Re: Introductory Ada Programming Book

[Shark8 <onewingedshark@gmail.com>]

On Wednesday, January 4, 2017 at 6:45:29 AM UTC-7, raph....@gmail.com wrote:
> Le mercredi 4 janvier 2017 13:49:18 UTC+1, Dmitry A. Kazakov a écrit :
> > On 2017-01-04 13:40, J-P. Rosen wrote:
> > 
> > > Oddly, variables are not initialised by default
> > > (Personal opinion: default initialization is a huge mistake)
> > 
> > Right, but Ada is still wrong there. IMO it should have been:
> > 
> > declare
> >     I : Integer := 1; -- OK
> >     J : Integer; -- Error: not initialized
> >     K : Integer := <>; -- OK: uninitialized, I know what I am doing
> > 
> 
> 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 is to implement an Ada compiler :)

Well, there are certain times where you *want*/*need* non-initialized variables; it's usually at [operating] system-level, but it does exist. (A good example would me memory-mapped I/O ports, where your 'initialization' would automatically send something down the I/O port when you might need to send nothing.)