Dlaczego nie mogę utworzyć F-ograniczony obiekt w Scala

Question

Załóżmy, że mam:

trait A[AA <: A[AA]] 
//or even just ` 
trait A[AA] 

To nie działa:

scala> object AAA extends A[AAA.type] 
<console>:8: error: illegal cyclic reference involving object AAA 
    object AAA extends A[AAA.type] 
         ^

Ale to działa:

scala> class AAA extends A[AAA]; object AAA extends AAA 
defined class AAA 
defined module AAA 

Robi się prawie (nie do końca) to samo i to działa. Jakiegokolwiek powodu?

P.S. A także, co dokładnie can I do wewnątrz takiego obiektu, aby wymusić cyklu infinte wewnątrz samego kompilatora?

Answer 1

Jak wspomina się w tytule, sprawa roboczego class AAA extends A[AAA] jest przykładem F-bounded polymorphism, który jest rekurencyjna definicja typu gdzie definicja odnosi się do siebie. Rekursja jest dość powszechna w typach, nawet pokornych List is recursive; to dość dobrze rozumiane terytorium.

Jednak object AAA extends A[AAA.type] nie jest typem rekursywnym. Tutaj AAA jest wartością o wartości, a deklaracja prosi kompilatora o rozstrzygnięcie odniesienia do typu wartości podczas jej definiowania, co nie jest zdolnością Scala została zaprojektowana/zamierzona.