Changeset 59f9273 for doc

Timestamp:

Jun 29, 2016, 3:11:11 PM (9 years ago)

Author:

Aaron Moss <a3moss@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, ctor, deferred_resn, demangler, enum, forall-pointer-decay, gc_noraii, jacob/cs343-translation, jenkins-sandbox, master, memory, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, with_gc

Children:

89b686a

Parents:

66999e7

Message:

Update resolver design docs to note caching opportunities

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