Re: numbers as 'generics' parameters

["John B. Matthews" <nospam@nospam.com>]

In article 
<514f8014-235d-4f52-aae1-c5b862dd6594@y22g2000prd.googlegroups.com>,
 Adam Beneschan <adam@irvine.com> wrote:

> 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

Good places to start:

<http://www.adaic.org/standards/95rat/RAThtml/rat95-contents.html>
<http://www.adaic.com/standards/05rat/html/Rat-TOC.html>

John
-- 
John B. Matthews
trashgod at gmail dot com
home dot woh dot rr dot com slash jbmatthews