Mark Reed wrote:
And one more dumb question: why is it that the L[1] metric is superior to the L[2] metric for this purpose?
I am also interested in the rational behind the approach to manage MMD my means of a metric instead of a partial order on the types. Metric is a geometric concept which in my eyes doesn't fit type theory. I would join Luke and recommend 'pure' MMD. That is there has to be exactly one target that is most specific on all positions relevant for the dispatch. In particular do I dislike the the property of a metric that several smaller mismatches can be compensated by a good match. -- TSa (Thomas Sandlaß)