structural-typing

5La chaleur

1Répondre

Conformité de type de structure généralisée dans Scala

Je m'intéresse au problème de la conformité d'un type spécifique à un type structurel plus général. Prenons les exemples suivants: trait Sup trait Sub extends Sup type General = { def contra(

scala structural-typing 2010-08-12

---

6La chaleur

2Répondre

Pourquoi ce cas de conversions implicites ne peut-il pas être optimisé?

Pourquoi Scala ne peut-il pas optimiser les éléments suivants: a. implicit def whatever[A](a: A) = new { ... } à: b. class some$generated$name(a: A) { ... } implicit def whatever[A](a: A) = n

scala implicit implicit-conversion structural-typing 2010-10-06

---

19La chaleur

2Répondre

Types de structure de correspondance de modèle dans Scala

Pourquoi est-ce que cette impression wtf? L'appariement de modèles ne fonctionne-t-il pas sur les types structurels "hello" match { case s: { def doesNotExist(i: Int, x: List[_]): Double } => pri

scala pattern-matching structural-typing 2010-01-01

---