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