I tipi strutturali ricorsivi non sono più supportati in scala?

Question

Alcune persone sostengono che scala sia in grado di gestire tipi strutturali ricorsivi se si utilizza l'opzione -Yrecursion di scalac. Tuttavia il mio esempio minimalista non può essere compilato:

rendimenti

type Num = { 
    def +(n: Num): Num 
} 

Compilation:

$ scalac -version 
Scala compiler version 2.8.0.final -- Copyright 2002-2010, LAMP/EPFL 
$ scalac -Yrecursion 100 Num.scala 
Num.scala:3: error: recursive method + needs result type 
def +(n: Num): Num 
      ^
one error found 

ha fatto questo cambiamento? Non dovrebbe compilare l'esempio?

Answer 1

I tipi strutturali ricorsivi non sono mai stati supportati. L'opzione -Yrecursion fa qualcosa che non è correlato ai tipi strutturali.