April 17, 2022
12:39 a.m.
On 16/04/22 10:46 pm, Steven D'Aprano wrote:
On Sat, Apr 16, 2022 at 05:56:13PM +1200, Greg Ewing wrote:
There's nothing incoherent or inconsistent about the way C++ and Eiffel do MI.
Good thing I never said that they were incoherent or inconsistent.
You seemed to be implying that, though. You claim that the C3 algorithm is the only way to get MI that is coherent and consistent. If that's true, then since C++ and Eiffel don't use C3, they must not be coherent and consistent.
There is no *guessing* in the C3 linearization algorithm.
"Guessing" in the context of that Zen line means making an arbitrary choice that may or may not be what the programmer wants. It doesn't mean choosing at random. -- Greg