Name Compatibility

Two variables are compatible if they are:

In Same Declaration:

typedef double money;
money income, expenses;  // compatible

Declared with the same data type

money income;
money expenses;   // compatible

Advantage:

Easy to Implement
Reliability increases

Disadvantage: Highly Restrictive

Flexibility decreases

{Actual Parameter's Declaration}
Actual: array[0..99] of Integer;

{Formal Parameter's Declaration}
Formal: array[1..100] of Integer;
(* The two are incompatible *)