On Tuesday 06 May 2008 10:38:38 John M. Dlugosz wrote: > I have problems with a simple sum. The "distance" is artificially > inflated if you make lots of small derivation steps vs one large > change. The concept of derivation steps is ill-defined for > parameterized types and types that change virtual type names during > derivation so there is no subtype relationship.
Those are precisely my objections. I'm not a fan of derivation in general, but I've never understood how changing MMD resolution based on degree of derivation didn't break Liskov. (Damian tried to explain it to me at least once, but he's smarter than I am and I didn't get it.) -- c