Neden scala.math.PartialOrdering.lteq soyut, .tryCompare cinsinden tanımlanmaktan ziyade?

Question

O (aynı sonucu verecek ya da en azından) scala.math.PartialOrdering.lteq her zaman olduğu gibi tanımlanması gerekir gibi görünüyor:

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

bu uygulama scala.math.PartialOrdering özellikte verilmediği bir sebep mi var?

Answer 1

Diğer tüm yöntemler lteq'a geri dönerken, tahminim daha verimli bir şekilde lteq yazmayı teşvik etmektir. Yani, bir Option oluşturmak istemezsiniz, sonra haritalandırın. Varsayılan olarak uygulanan tryCompare olmamasının sebebi .:,

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 
} 

örn ... ve lteq uygularken çirkin override değiştirici yazmaya gerek olmaz - Ben daha çok tersini rica ediyorum. görünümünde bir matematikçi en Dan

Bildiğim kadarıyla bu yüzden belki bu sadece bir 'sol-over', bugüne kadar bütün Scala standart kütüphanesi bünyesinde asla kullanılmaz tryCompare gördüğünüz gibi ...