Changeset 59f9273 for doc/working


Ignore:
Timestamp:
Jun 29, 2016, 3:11:11 PM (8 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:
1 edited

Legend:

Unmodified
Added
Removed
  • doc/working/resolver_design.md

    r66999e7 r59f9273  
    14141414considered if no match was found in the previous class.
    14151415
     1416Another source of efficiency would be to cache the best given interpretation
     1417of a subexpression within an environment; this may not be incredibly useful
     1418for explict parameters (though it may be useful for, e.g. `f( x, x )`, where
     1419both parameters of `f` have the same type), but should pay some dividends for
     1420the implicit assertion parameters, especially the otype parameters for the
     1421argument of a generic type, which will generally be resolved in duplicate for
     1422(at least) the assignment operator, constructor, copy constructor & destructor
     1423of the generic type.
     1424
    14161425## Appendix A: Partial and Total Orders ##
    14171426The `<=` relation on integers is a commonly known _total order_, and
Note: See TracChangeset for help on using the changeset viewer.