Hi Larry. You wrote:
: Please can you explain the reasoning for choosing antecedent, rather : than successor? I think having to pick either one or the other is likely a design smell. Maybe it would be better to have predeclared extractors than to have a search strategy baked half-heartedly into A<>.
I'm very keen to improve the A<> mechanism, but I'm not clever enough to work out what you mean by "predeclared extractors" in this context. To help me, could you show us how something like:
method foo (Int bar) {...} =para The A<method> method take the following argument list: A<(..)> would look under such an alternative scheme? Damian