Re: Ada 2005 puzzle

["Vasiliy Molostov" <molostoff@gmail.com>]

Dmitry A. Kazakov <mailbox@dmitry-kazakov.de> писал(а) в своём письме Sun,  
22 Jul 2012 12:19:20 +0400:

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

Since you have considered that initialisation is the same as construction,  
I suppose you agree.

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

How do you setup compile-time designators in run-time? "designated type"  
is a compilation time syntax rule helping translator to distinguish type  
of the object and which differs from source code context where used.  
Initialization, being executed in run-time, can not be a part of  
compile-time syntax. But, perhaps, you mean designators that are variable  
(change their values) in run-time?

Perhaps, you tend to define type of the object outside of the memory it  
holds. this refers to dynamyc (run-time) type resolution (language  
predefined), and consequently - anonymous (unknown, but existing)  
predefined types and objects. Do you suppose that well formed and strong  
typed language is based on anonynous type (or anyobject) ? Do you mean  
java indeed?

The way Ada goes is to minimize run-time execution and memory that hold by  
objects, via evaluating them before, e.g. in compile-time.

Also, Ada is a procedural language.

Perhaps you mean some construct which is out of bounds of ada language,  
e.g. it is an application feature.

Also, It is not clear why not to return a pointer (access reference) to  
the object instead?

-- 
Написано в почтовом клиенте браузера Opera: http://www.opera.com/mail/