Yes, I am probably missing something obvious here, as I don’t quite understand why this would lead to an exponential explosion of ambiguities. I thought you could always resolve an ambiguity by creating a trait that inherits from multiple other traits, effectively specializing the ambiguous function.
For example, Rust is planning to implement the trait specialization feature, which effectively provides static multiple dispatch. I presume they are not concerned that this is an issue either.
BTW, @Mason, thank you for contributing to the conversation, even if it might feel to you like you’re repeating the same obvious points. I assure you, my curiosity is genuine - I’m truly interested in understanding how the language can be improved.
2 Likes