Re: Function definitions - with clarification

["G.B." <rm-dash-bau-haus@dash.futureapps.de>]

On 29.06.14 21:20, montgrimpulo wrote:
>        V : vi := new Individual (P=>P1,Q=>Q1,R=>R1);
>        type population is array (1 .. Popsize) of vi;

Regarding resource management, I'd now consider, e.g., deriving
type Individual from Finalization.Controlled. By overriding
the primitive operation Finalize you could then have the
memory of V deallocated automatically, when EA exits.

Since for vi, its type Individual is constrained in EA, and
if the sizes of the component arrays of Inidividual are never
so large as to approach (implementation defined) Natural'Last,
then type Population, defined in EA, could be an array of this
constrained subtype of Individual. This will save memory
management.

If knowledge of cardinalities is reflected in types of the
program, rather than simply using Positive etc, then more control
and more clarity of intent is added to the program, I think.
It adds "categorizing" the numbers according to purpose. You could
still depend on Positive, if needed:

   type κ is new Positive [range ...];

where κ expresses the intent of using a range of positive integers.