Dlaczego skala.math.PartialOrdering.lteq jest abstrakcyjna, a nie definiowana pod względem .tryCompare?

Question

Wydaje się, że scala.math.PartialOrdering.lteq zawsze musi być zdefiniowany jako (lub przynajmniej dać taki sam efekt jak):

override def lteq(x: Pattern, y: Pattern) = { 
    tryCompare(x, y).map(_ <= 0).getOrElse(false) 
} 

Czy istnieje jakiś powód to realizacja nie jest podana w cechy scala.math.PartialOrdering?

Answer 1

Przypuszczam, że należy zachęcać do pisania bardziej skutecznych lteq, ponieważ wszystkie inne metody cofają się do lteq. Więc nie chciałbyś stworzyć Option, a potem go zmapować. Wolę zapytać odwrotnie - dlaczego nie jest tryCompare realizowany domyślnie np .:

def tryCompare(x: T, y: T) = { 
    val p1 = lteq(x, y) 
    val p2 = lteq(y, x) 
    if (p1) { 
    if(p2) Some(0) else Some(-1) 
    } else if (p2) Some(1) else None 
} 

... i nie musiałby napisać brzydkie override modyfikator przy wdrażaniu lteq.

O ile widzę tryCompare jest nigdy używany w całym Scala ciała bibliotece standardowej, więc może to po prostu „left-over” ...