Re: numbers as 'generics' parameters

[Robert A Duff <bobduff@shell01.TheWorld.com>]

"Jeffrey R. Carter" <spam.jrcarter.not@spam.acm.org> writes:

> jhc0033@gmail.com wrote:
>> As far as I can tell, Ada does not allow anything but types as
>> generics parameters, so what would be the approach to use with it?
>
> ARM 12.1 (http://www.adaic.org/standards/05rm/html/RM-12-1.html) lists 4
> kinds of generic formal parameters, only one of which is a type. So you
> clearly haven't done much investigation of Ada.

I don't think it's a good idea to learn Ada from the RM.
Better to use a good textbook.  I like Barnes.

Anyway, it's not a sin to be ignorant of Ada.  And generic formal
objects are a pretty obscure and little-used feature -- MOST generic
formal parameters are indeed types, so it's easy to get the incorrect
impression that that's all there is.

Now that Ada 2005 supports downward closures, even generic formal
subprograms are (or should be) a little-used feature.

- Bob