Re: Rough proposal to make some generic types static

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

"AdaMagica" <christ-usch.grein@t-online.de> wrote in message 
news:37b276da-6260-4bc7-8090-702142391a4f@googlegroups.com...
> On Tuesday, July 22, 2014 1:12:51 AM UTC+2, Randy Brukardt wrote:
>
>> (1) you're wrong, and (2) there's nothing in the Ada standard that 
>> requires
>> code to be efficient! If there was, some constructs would be impossible 
>> (ATC
>> comes to mind).
>>
>>                         Randy.
>
> Hm, there's Introduction(6/3):
>
> Ada was originally designed with three overriding concerns: program 
> reliability
> and maintenance, programming as a human activity, and efficiency.

That's the language as a whole, not a particular feature. Moreover, even if 
a feature can be implemented efficiently in a vacuum, there often are other 
concerns that affect the ability to do so. (For example, the need to make 
convention C work properly.)

                             Randy.