Re: Musing on defining attributes and the ability to define an "abstract type X"-interface.

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

"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message 
news:omh0da$1an0$1@gioia.aioe.org...
> On 2017-08-10 01:22, Randy Brukardt wrote:
...
>> You (you meaning developers in general here) do care a lot about
>> performance; if Ada programs for Ada 2020 performed more like Python
>> programs than C programs, there would be a major outcry.
>
> I mean minor performance penalties, not something catastrophic.

A lot of the stuff you ask for would result in Ada performing a lot more 
like Python than C, simply because implementing it would require a more 
interpretive approach - more like finding the appropriate action in a state 
machine rather than just executing the generated code. (Some parts of Ada 
are already like that, especially type conversions and memberships involving 
class-wide types.) That's especially true when every type has the 
compatibility.

                                       Randy.