Scala абстрактен път зависим тип проблем

Общите параметри не заменят автоматично абстрактните типове, дори ако имат еднакви имена. Опитайте да преименувате общите параметри (за да избегнете конфликти с имена) и след това да декларирате типовете TKey и TValue в тялото на метода.

class ANode[A,B](
  val akey : A,
  val aval : B
) extends INode {
    type TKey=A
    type TValue=B
    def get(key : TKey) : TValue =  aval 
    def set(key : TKey, v : TValue) : INode = new ANode(key,v)
}

Предполагам, че би било хубаво, ако компилаторът издаде грешка на реда, където сте посочили имената на генеричните типове, вместо да чакате, докато започнете да използвате тези типове.

За съжаление нямам време да тествам това, което ще напиша, но моето разбиране за вашия код е, че всеки INode ще получи свой собствен тип TValue. Така че операцията get наистина връща INode.this.TValue, който не е съвместим с друг тип TValue на друг възел.

Начинът да избегнете това може да бъде да напишете:

trait Nodes {
  type TKey
  type TValue

  trait INode {
   def get(key : TKey) : TValue
  }

  class ANode(
    val akey : TKey,
    val aval : TValue
  ) extends INode
}