Re: Seeking for papers about tagged types vs access to subprograms

["Randy Brukardt" <randy@rrsoftware.com>]

"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message 
news:p0pf97g5w6xg.jhca6ztjwpde$.dlg@40tude.net...
> On Tue, 7 May 2013 15:35:01 -0500, Jacob Sparre Andersen news wrote:
>
>> The main thing is that
>> the result most certainly would not be Ada, but rather would be a new
>> language *inspired by* Ada.
>
> No, that was the path taken by Ada 2005 and Ada 2012. Patches are
> destroying the language fabric.

I'm not talking about "patches", I'm talking about starting over. And so are 
you...

> What I wish is to change the language foundation while keeping the
> semantics of existing types intact. The whole idea is to move them onto 
> the
> library level rather than changing anything in them.

That's precisely what I'm talking about. The result cannot be Ada, because 
the result is not going to be close to 100% compatible with Ada (and that 
should not be a criteria for a new language). Despite your fantasies to the 
contrary, there is no possibility of changing the models in any useful way 
and retaining compatibility in subtle cases. Moreover, even if possible, the 
pretzel-like rules needed would prevent the sort of overhaul that you really 
desire. So why cling to the mistakes of the past - flush all of that down 
the drain and start over.

                                        Randy.

P.S. Sorry about getting the name wrong in my postings from yesterday, 
especially with any confusion with Jacob.