Esta no es una definición de tipo válido:¿Cómo se define una definición de tipo cíclico?
scala> type Addable = { def +(subject: Addable) }
<console>:4: error: illegal cyclic reference involving type Addable
type Addable = { def +(subject: Addable) }
puede esto ser expresada en Scala?
No, no puede .
En la página 40 de La Scala Language Specification Version 2.7:
However, it is a static error if a type alias refers recursively to the defined type constructor itself. That is, the type T in a type alias type t[tps] = T may not refer directly or indirectly to the name t.
Parece que esto puede ser "fijo" en la Scala 2.8:
Aquí es lo que hice en una biblioteca que escribí, HTH:
trait Addable {
type AddableType <: Addable
def + (subject: AddableType): AddableType
}
trait Rational extends Addable {
type AddableType = Rational
override def + (subject: Rational): Rational
}
La definición tiene que ser de tipo estructural ya que las clases subrayadas no se pueden cambiar (como Int, Long). –
Hm, ¿quizás podría definir una vista (def implícita) para convertir estas clases en Addable? – Yardena
no funciona con la corriente nightly build. Bienvenido a la versión 2.8.0.r18457-b20090810020144 de Scala (cliente de Java HotSpot (TM) V M, Java 1.6.0_12). Escriba las expresiones para que se evalúen. Tipo: ayuda para obtener más información. scala> clase A { | tipo Addable = {def + (asunto: Addable)} | }: 5: error: referencia cíclica ilegal que implica el método + tipo Addable = {def + (asunto: Addable)} Al menos el mensaje de error ha cambiado :-). –
¿Has probado la opción de línea de comando experimental mencionada en la parte inferior del artículo anterior? – skaffman
Mismo resultado con: scala -Yrecursion 10 –