Re: The simple Image issue

[Georg Bauhaus <rm.dash-bauhaus@futureapps.de>]

On 31.08.11 16:44, Dmitry A. Kazakov wrote:
> On Wed, 31 Aug 2011 08:16:35 +0200, Georg Bauhaus wrote:
> 
>> On 30.08.11 21:56, Dmitry A. Kazakov wrote:
>>> On Tue, 30 Aug 2011 12:31:55 -0700 (PDT), Adam Beneschan wrote:
>>>
>>>> I actually think Ada has a bit of a weakness in this regard.  The
>>>> ability to output and/or create strings that have data interpolated in
>>>> them is useful, but doing so with Ada is somewhat clunky.  Ada does
>>>> provide a string concatenation function, which C doesn't have, and
>>>> that could help, except that (1) there's no *function* defined in Ada
>>>> that returns the image of an integer in a given base (and if there
>>>> were, I'd want it to have options to control whether the 16#...# were
>>>> present or not, whether letters were in upper or lower case, and
>>>> whether and how far we add leading zeroes), and (2) the 'Image
>>>> attribute function on integer types has the annoying problem of the
>>>> extra space at the front of nonnegative integers.  With those fixed,
>>>> it would eliminate an objection I'm sure other C programmers trying to
>>>> use Ada have run into.
>>>
>>> The most annoying is that you have to specify the [sub]type T'Image(X). It
>>> should have been X'Image or Image(X).
>>
>> In which way would you change T'Value for symmetry?
> 
> "123"'Value or Value("123"), of course

Looks like dispatching, overload resolution, and more
efforts in generics... No?

procedure F is

   type F1 is digits 4;
   type F2 is digits 7;

   procedure Take_Float (X : F1) is
   begin
      Put_Line ("I'm an F1");
   end Take_Float;

   procedure Take_Float (X : F2) is
   begin
      Put_Line ("I'm an F2");
   end Take_Float;

   S : constant String := "12.3";
begin
   Take_Float (X => Value(S));  -- which one?
end F;