In Type Definitions we gave examples of type definitions and declarations. In this section we look at types in more detail and in particular look at some properties of types and constraints on type declarations and definitions. Some of these constraints are pragmatic - they simplify type checking and inference but we believe they do not significantly impact on the ability of the programmer to write programs.
The QuLog compiler (which for this version of QuLog generates QuProlog code) caries out both type checking and type inference. Type inference is used when showing answers to queries but is also used in type checking when polymorphic types are involved.
| • Modes and Moded Types | ||
| • Built In Types | ||
| • User Defined Types | ||
| • Type Checking and Inference |
