¿Ya no se admiten los tipos estructurales recursivos en scala?

Question

Algunas personas afirman que scala puede tratar con tipos estructurales recursivos si usa la opción -Yrecursion de scalac. Sin embargo mi ejemplo minimalista no se compila:

rendimientos

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

de compilación:

$ 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 

hizo este cambio? ¿No debería el ejemplo compilar?

Answer 1

Los tipos de estructuras recursivas nunca fueron compatibles. La opción -Yrecursion hace algo que no está relacionado con los tipos estructurales.