IDEAS 526 Bytes
Newer Older
1 2
- Define a 'widening functions'  (types -> types) such two
  equivalent types become physically equal
3 4 5 6 7 8 9 10 11 12

- Cache typing derivations, to avoid duplicating work when typing
  invariant parts of overloaded functions. One has to restrict
  the typing environment to the set of free variables for the 
  expression, and compare it to previous typing of this expression;
  if the same environment has been used before, reuse the result.

  Need to benchmark and define heuristics to know when to apply
  this mechanism => empirical.