valhalla-dev Digest, Vol 7, Issue 66
brian.goetz at oracle.com
Mon Jan 19 23:33:32 UTC 2015
> 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
; 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.
 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("", "")?)
More information about the valhalla-dev