Re: generic function and overloading

[Georg Bauhaus <rm.tsoh+bauhaus@maps.futureapps.de>]

eliben wrote:
> Hello,
> 
> I have a few "hardware" types, for example uint16 and uint32. And I
> want to write a functions that will set or clear bits of such types.
> For example:
> 
> function Bit_Set(word: uint16; bitn: natural) return uint16;
> 
> function Bit_Set(word: uint16; bitn: natural) return uint16 is
>   mask: uint16 := 2**bitn;
> begin
>   return word or mask;
> end Bit_Set;
> 
> However, I realize that such a function would be almost completely
> duplicated for the uint32 type. In C++ I would probably define it as a
> template on the type of the word, and the compiler would do the job
> for me.

Implicit instantiation might not be in line with the Ada
way of asking the programmers to actually say what they are doing
on behalf of readers, reviewers, and themselves.
(Otherwise use polymorphism and overriding.)

Extending J-P. Rosen's hint, you can employ visibility control
and even add a helpful prefix to the same instance name Bit_Set
instantiated in different locations (or renamed there), e.g.

    Send (Lawnmower,
       Gardening_Device_Interface.Bit_Set(Motor_Control, Silent_Mode));

Imagine a Hard_Drive_Interface if Gardening_Device_Interface
seems unreal. (It also wouldn't have to be a Lawnmower receiving
the bits, I guess, or do these things meanwhile have hard drives?)