Re: numbers as 'generics' parameters

["jimmaureenrogers@worldnet.att.net" <jimmaureenrogers@worldnet.att.net>]

Ada does not require the definition of a generic for your example.
Ada provides the ability to define unconstrained array types.

For example, the following package specification defines a vector
type and some operations on that type.

package Vectors is
   subtype Index_Type is Integer range 1..Integer'Last;
   type Vector is array(Index_Type range <>) of Float;
   function "*"(Left : Float; Right : Vector) return Vector;
   function "*"(Left : Vector; Right : Float) return Vector;
   function "*"(Left, Right : Vector) return Vector;
   function "-"(Left : Float; Right : Vector) return Vector;
   function "-"(Left : Vector; Right : Float) return Vector;
   function "-"(Left, Right : Vector) return Vector;
   function "+"(Left : Float; Right : Vector) return Vector;
   function "+"(Left : Vector; Right : Float) return Vector;
   function "+"(Left, Right : Vector) return Vector;
   function "/"(Left : Vector; Right : Float) return Vector;
end Vectors;

Ada provides both compile-time and run-time checks on the
array bounds for type Vector, even though an instance of
Vector can be of any size up to Integer'Last.

Your questions about Ada indicate very little exposure to Ada.
I concur with Adam's recommendation above. Please read up on
Ada. You will find the language to be very usable and very
efficient.

Jim Rogers