IDEAS 787 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.
13 14 15 16 17 18 19 20

- Remember compiled regexp when printing; same with XML sugar

- When an arrow constraint is not satisfied when typing a function,
  point to the specific branch ...
  Better: alternate mode of typing << check that this expression
  has at most this type >>