| 1 |
There are several cases where HPF requires mappings to be łcompatible˛
-
Parameter passing with implicit interfaces
-
Parameter passing with explicit descriptive mappings (sort of)
-
Pointer association
|
| 2 |
łCompatible˛ is defined by a partial ordering
-
A mapping is łmore specialized˛ (or łmore generalized˛) than another if it has more information (or less information)
-
Some mappings canąt be compared
|
| 3 |
You can avoid learning the detailed rules!
-
Always ALIGN things that ought to have the same mapping
-
Always use explicit interfaces
|
