Re: Generics and selection based on type

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

On Fri, 12 Jan 2007 17:24:44 +0100, Maciej Sobczak wrote:

> I would like to write a generic function that returns the string 
> representation of its parameter, which can be a number or a string.
> The sketch is:
> 
> generic
>    type T is ...
> function To_String(X : T) return String;
> 
> I want to use it this way:
> 
> function Int_To_String is new To_String(Integer);
> function Positive_To_String is new To_String(Positive);
> function Float_To_String is new To_String(Float);
> function Identity is new To_String(String);

Why should they have different names? Ada has no problem with overloading
on the result type.
 
> For this, it would be good to be able to select the implementation of 
> To_String based on what the type is. If it's numeric - the 'Image 
> attribute can be used. If it's already String - just return the 
> argument. And so on.
> 
> Is it possible?

If that were possible, you wouldn't need any generics for that. Namely if
T'Image were a primitive operation of T, rather than an attribute. Or at
least, if it were defined on all types, as T'Write and T'Output are. That
time (Ada 83), one didn't know how to do it right.

(If you have T restricted to a narrower class of types, then it were
possible, as Jeffrey has pointed out.)

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