Re: numbers as 'generics' parameters

[Adam Beneschan <adam@irvine.com>]

On May 16, 10:26 am, "jhc0...@gmail.com" <jhc0...@gmail.com> wrote:
> C++ allows integers as template parameters, so, for example I can
> define a vector of size N, and verify at compile time that, say, I
> don't try the inner product of a 2D (N=2) and 3D (N=3) vectors. On the
> other hand, I don't have to write separate versions of my code for
> various vector sizes.
>
> 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?

My recommended approach would be to read what the Ada reference manual
says about generics.  Sorry to be so harsh, but your above assertion
("does not allow anything but types") is so far off base that it
appears you've just gotten hold of some bad information, and that
needs to be fixed first.

                                     -- Adam