Combinaison problématique de la variance à Scala

Voici un exemple de la Cours Scala sur Coursera: , cours 4.4

class Array[+T] {
  def update(x: T) = ???
}

Cela provoque une erreur dans le repl:

error: covariant type T occurs in contravariant position in type T of value x

Et sur les diapositives, Martin dit que c'est une "combinaison problématique". Pourquoi ça?

0

1 Réponses

Ceci est expliqué dans la section "Variance and arrays" de http://www.artima.com /pins1ed/type-parameterization.html (à partir de Programmation en Scala par Odersky, Venners et Spoon).

0
ajouté
Au lieu de donner seulement un lien, cela en ferait une bonne réponse si vous incluez la section pertinente
ajouté l'auteur Daenyth, source