Changes in doc/working/resolver_design.md [d14d96a:59f9273]

File:

• doc/working/resolver_design.md (modified) (1 diff)

doc/working/resolver_design.md

@@ -1414 +1414 @@
 considered if no match was found in the previous class.
 
+Another source of efficiency would be to cache the best given interpretation 
+of a subexpression within an environment; this may not be incredibly useful 
+for explict parameters (though it may be useful for, e.g. `f( x, x )`, where 
+both parameters of `f` have the same type), but should pay some dividends for 
+the implicit assertion parameters, especially the otype parameters for the 
+argument of a generic type, which will generally be resolved in duplicate for 
+(at least) the assignment operator, constructor, copy constructor & destructor 
+of the generic type. 
+
 ## Appendix A: Partial and Total Orders ##
 The `<=` relation on integers is a commonly known _total order_, and