Consequences

Describing the mapping of dummy arguments is a complex area with HPF. Descriptive distributions should be used and interface should always be given.

Descriptive and prescriptive distributions have limited capabilities,

• describing mapping can be difficult,
• cannot inherit distributions,
• inflexible approach.

Transcriptive distributions are easier to use,

• compiling inherited mappings is very complex,
• will be less efficient,
• but simple for user.

It is unclear whether inherited mappings will ever become efficient enough to actually use -- it currently seem a good idea to avoid them!