scala - scala 不再支持递归结构类型吗？

Question

有些人声称如果您使用 scalac 的 -Yrecursion 选项，scala 能够处理递归结构类型。尽管如此，我的简约示例无法编译:

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

编译产量:

$ 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

这有没有改变？示例不应该编译吗？

Answer 1

从未支持递归结构类型。 -Yrecursion 选项做一些与结构类型无关的事情。