viewcvs.cgi/types/IDEAS

- Define a 'widening functions'  (types -> types) such two
  equivalent types become physically equal


- 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.


- 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 >> 
1	abate	1	- Define a 'widening functions' (types -> types) such two
2			equivalent types become physically equal
3	abate	7
4
5			- Cache typing derivations, to avoid duplicating work when typing
6			invariant parts of overloaded functions. One has to restrict
7			the typing environment to the set of free variables for the
8			expression, and compare it to previous typing of this expression;
9			if the same environment has been used before, reuse the result.
10
11			Need to benchmark and define heuristics to know when to apply
12			this mechanism => empirical.
13	abate	15
14
15			- Remember compiled regexp when printing; same with XML sugar
16
17			- When an arrow constraint is not satisfied when typing a function,
18			point to the specific branch ...
19			Better: alternate mode of typing << check that this expression
20			has at most this type >>