Re: What would you like in Ada202X?

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

On Thu, 26 Apr 2012 18:58:06 -0500, Randy Brukardt wrote:

> "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message 
> news:lh3gjjdhbg01.k1bt0u2astpl$.dlg@40tude.net...
>> On Wed, 25 Apr 2012 21:23:37 -0500, Randy Brukardt wrote:
> ...
>>> (2) Generic in-out object parameters (almost never used, hard to 
>>> implement,
>>> probably buggy because of the first two);
>>
>> What about passing a storage pool to a generic?
> 
> One of the reasons I didn't propose getting rid of anonymous access is that 
> they're really handy for solving the occasional oddity
> object that is an anonynous access to Root_Storage_Pool'Class handles this 
> need nicely,

But you won't say that a C-fan arguing that there is no need in-out
parameters because int* does the job? (:-))

>>> (3) Interfaces (buys almost nothing over abstract types, except a huge
>>> amount of complication in definition and implementation);
>>
>> Hold on, should it mean that you are for true MI? I cannot believe it!
>> (:-))
> 
> I've concluded that I'm pretty much against all forms of MI.

Do not both Integer and Float implement "is private", T'Image, X'Size? MI
is all around you without any tagged types, you cannot get rid of it. You
sweep it under the carpet and pretend it does not exist.

> Which I realize 
> is probably too strong, but surely Interfaces isn't it. I'm definitely 
> against any mechanism that you can only use once, which is the way a 
> particular interface works. That leads to silliness like the "no hidden 
> interfaces" rule (because otherwise you could destroy privacy by adding the 
> "right" interface; alternatively, you could destroy everyone's sanity by 
> determining what routine to dispatch to by what visibility you have).

That is because the broken Java model was deployed. Look you cannot make a
type non-limited by adding "private" (=copyiable) interfaces. There is no
problem, except for fighting shadows.

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