Re: Object-Oriented style question

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

On Tue, 10 Jan 2012 00:47:19 -0800 (PST), Maciej Sobczak wrote:

> On Jan 10, 12:58�am, Georg Bauhaus <rm-
> host.bauh...@maps.futureapps.de> wrote:
> 
>> The effect is that there still wouldn't be any parameters of an
>> anonymous access-to-object type at the level of T's definition.
> 
> Why this should be a goal?
> I prefer if the profile describes what is going on. If sh*t is going
> on, then it is better to show it in the profile than to hide it and
> surprise the user later.

I agree, if the referential semantics is a part of the contract, it must be
exposed, and hidden otherwise.

Furthermore, semantically

   procedure Foo (X : access T)

is not a method of T, it is one of access T. Objects of T and access T are
different objects of different types and different sets of operations
defined on them.

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