valhalla-dev Digest, Vol 7, Issue 66

[Brian Goetz]

> Multi-dimensional matching is not well-served by any loose or ambiguous
> matching, which is why I had specified a system not needing such.

Except that's exactly how method overload selection works in Java today 
[1]; by contrast, there are no left-to-right precedence mechanisms.  So 
while you might consider the left-to-right rule "better", when taken in 
the context of how the language already works (and how developers 
think), I think this has to be rejected.



[1] The lack of a meet rule actually causes problems here as well, such 
as overloads like foo(Object, String) vs foo(String, Object) (which do 
you call with foo("", "")?)