Variance de Ordered, PartiallyOrdered

Question

Selon la documentation, PartiallyOrdered[A] est covariant dans A, tandis que Ordered[A] est invariant (mais utilisé pour être covariant) dans A.

Pourquoi Ordered[A] était-il toujours covariant dans A? N'est-ce pas une violation évidente du principe de substitution? Pourquoi Ordered[A] ne peut-il pas être contravariant dans A? Cela permettrait de saisir Ordered[Traversible[Char]] comme Ordered[StringBuilder], par exemple. Je ne vois pas comment cela pourrait être problématique. J'ai des difficultés à comprendre la signature de tryCompareTo en PartiallyOrdered. Il semble que l'argument peut être une instance de n'importe quel type de A. Ne pourriez-vous passer aucun objet en appelant le tryCompareTo[Any](anything)? Si oui, comment la signature de la méthode est-elle meilleure que tryCompareTo(that: Any)? Logiquement, les ensembles ordonnés sont une sous-classe d'ensembles partiellement ordonnés, mais les classes Scala ne semblent pas refléter cette relation. Est-ce parce que Ordered[A] ne peut pas être covariant dans A comme PartiallyOrdered[A] peut?

Answer 1

En regardant le previous version (2.8.1), je n'ai pas trouvé quelque chose de pertinent au sujet de Ordered qui était covariant?

EDIT: plus loin et trouver Looked certains explanation dans la documentation Ordered de ne pas être covariants plus.

Pour le cas de tryCompare dans PartiallyOrdered, la signature ensemble plus de restriction sur le paramètre passé:

def tryCompareTo [B >: A] (that: B)(implicit arg0: (B) ⇒ PartiallyOrdered[B]): Option[Int] 

Ici, le arg0 implicite implique that être considérée comme une instance PartiallyOrdered[B] et donc qu'il a accès à toutes les méthodes défini dans ce trait.