next up previous contents
Next: Basic Unification Up: The Ur/Web Manual Previous: Module Projection   Contents

Type Inference

The Ur/Web compiler uses heuristic type inference, with no claims of completeness with respect to the declarative specification of the last section. The rules in use seem to work well in practice. This section summarizes those rules, to help Ur programmers predict what will work and what won't.