Changeset bbd44c5


Ignore:
Timestamp:
Nov 21, 2016, 11:38:16 AM (7 years ago)
Author:
Aaron Moss <a3moss@…>
Branches:
ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, with_gc
Children:
687165a
Parents:
ba5131d
Message:

Updated resolver design working doc with ideas from meeting with Dr. Van Beek

File:
1 edited

Legend:

Unmodified
Added
Removed
  • doc/working/resolver_design.md

    rba5131d rbbd44c5  
    13821382hypothesis needs to be empirically validated.
    13831383
     1384Another approach would be to abandon expression-tree ordering for
     1385subexpression matching, and order by "most constrained symbol"; symbols would 
     1386be more constrained if there were fewer matching declarations, fewer
     1387subexpressions yet to resolve, or possibly fewer possible types the expression
     1388could resolve to. Ordering the expressions in a priority-queue by this metric
     1389would not necessarily produce a top-down or a bottom-up order, but would add
     1390opportunities for pruning based on memoized upper and lower bounds.
     1391
    13841392Both Baker and Cormack explicitly generate all possible interpretations of a
    13851393given expression; thinking of the set of interpretations of an expression as a
Note: See TracChangeset for help on using the changeset viewer.