Changeset bbd44c5 for doc/working
- Timestamp:
- Nov 21, 2016, 11:38:16 AM (8 years ago)
- 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
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
doc/working/resolver_design.md
rba5131d rbbd44c5 1382 1382 hypothesis needs to be empirically validated. 1383 1383 1384 Another approach would be to abandon expression-tree ordering for 1385 subexpression matching, and order by "most constrained symbol"; symbols would 1386 be more constrained if there were fewer matching declarations, fewer 1387 subexpressions yet to resolve, or possibly fewer possible types the expression 1388 could resolve to. Ordering the expressions in a priority-queue by this metric 1389 would not necessarily produce a top-down or a bottom-up order, but would add 1390 opportunities for pruning based on memoized upper and lower bounds. 1391 1384 1392 Both Baker and Cormack explicitly generate all possible interpretations of a 1385 1393 given expression; thinking of the set of interpretations of an expression as a
Note: See TracChangeset
for help on using the changeset viewer.