| 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
|
