[r2002-10-10 22:29:33 by cvscast] Empty log message

Original author: cvscast
Date: 2002-10-10 22:29:33+00:00

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.