Re: Ada 2005 puzzle

["Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>]

On Sun, 22 Jul 2012 12:00:33 +0400, Vasiliy Molostov wrote:

> Dmitry A. Kazakov <mailbox@dmitry-kazakov.de> яПНяПНяПНяПНяПН(яПН) яПН яПНяПНяПНяПНяПН яПНяПНяПНяПНяПНяПН Sun,  
> 22 Jul 2012 11:41:04 +0400:
> 
>> declare
>>    X : Boolean;
>>    Y : Boolean := False;
>> begin
>>
>> Note, I intentionally take a most elementary type.
> 
> its better set it to tagged type. and in this case you will get  
> "initialize(x)".
> 
> Does you mean that initialize should be renamed to construct?

No. Ada's Initialize is not a constructor. A constructor cannot be a
procedure because there is no way to operate a not yet existing object.
Initialize takes already constructed argument, it is indeed an
[user-defined] initialization.

[Constructors are always generated by the language. They could call some
hooks, like Initialize, at certain stages of construction process. These
hooks can be shaped as functions and procedures.]

> Does "False" is a construction for Y?

False is a value (actually, an expression yielding a value of the
designated type). Y is constructed in a way that False becomes its first
value.

>> Construction operates on the object's type. Initialization does on the
>> object's value/state.
> 
> Before you told that this one converts from raw memory into well formed  
> typed object.

Yes. It is a type conversion: none -> a type
 
> I suppose that setting up state/value of raw memory can completely define  
> any typed object.

Accompanied by setting the designated type. Initialization is a part of
construction.

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