Re: Anybody in US using ADA ? One silly idea..

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

Hyman Rosen wrote:

> Dmitry A. Kazakov wrote:
>> This is also possible with tagged types. You are free to make
>> operations inline. The compiler may remove the type tag if it is
>> statically known. Under these conditions a static dispatch would cost
>> nothing.
> 
> The point here is using your newly created types with libraries of
> existing code which are to operate on those types. If those libraries
> are generic, then it may be possible to get significant inlining
> benefits. If those libraries operate on tagged types, then it won't
> matter that *you* know the static type in your code, because the
> library won't. It's the difference, in C++ terms, between qsort and
> std::sort. The former takes a pointer to function which it must call
> for each comparison, while the latter can inline the comparison.

But this is not generics vs. tagged, it is inlined vs. not. It is clear that 
an inlined subroutine cannot be put into a library. The difference is only 
that tagged types leave me a choice, while generics don't.

-- 
Regards,
Dmitry A. Kazakov
www.dmitry-kazakov.de