On Saturday, 15 February 2025 at 15:40:51 UTC, Dom DiSc wrote:
On Friday, 14 February 2025 at 15:58:26 UTC, Paul Backus wrote:
Oops--it turns out both overloads are equally specialized!
This is what I want to be fixed. For a human it is obvious
which of the two is a better match. Lets add a rule so that the
compiler can also see it!
The problem with this approach is that, if you keep adding more
and more rules, you eventually end up with so many that no human
can remember them all, and code becomes much harder to understand.
In C++, for example, overload resolution is extremely
complicated, because they added a bunch of rules to make these
kinds of "obvious" examples work:
https://en.cppreference.com/w/cpp/language/overload_resolution
