Czy istnieje przykład użycia abstrakcyjnego typu scala, którego nie można uzyskać przy pomocy leków generycznych?

Question

Istnieją dwa możliwe sposoby wyrażania abstrakcji nad typami.

abstract class Buffer { 
    type T 
    val element: T 
} 

raczej niż generics, np.

abstract class Buffer[T] { 
    val element: T 
} 

Rozumiem korzyści płynące z używania różnych podejść w różnych kontekstach. Ale interesują mnie przykłady, w których absolutnie niemożliwe jest przekonwertowanie wersji abstrakcyjnej na wersję ogólną.

Fragmenty kodu PS są mile widziane.

Answer 1

Typy abstrakcyjne mogą być powiązane z typami zależnymi od ścieżki, co nie jest możliwe w przypadku parametrów typu. W ten sposób możesz np. realizacji streszczenie typu z betonu klasy wewnętrzna:

trait A { type T } 
class B extends A { class T } 

lub wyraźnie wiążą się do typu zależnego od drogi wewnątrz zakresu klas:

class C { type T = this.type } 
class D { object Q; type T = Q.type } 

Answer 2

// This is possible 
trait M { type TM } 
trait P[TP] extends M { type TM = TP } 

// This is not 
trait P[TP] 
trait M extends P[TM] { type TM } 

Answer 3

Kolejna różnica: jedynego typu parametry mogą być wykorzystane jako samo- typy,

abstract class Buffer[T] { self: T => 
    val element: T 
}