Resultados de la búsqueda a petición "self-type"
¿Puede un autoescala Scala imponer un tipo de clase de caso
¿Habría alguna forma en scala para definir el tipo propio de un rasgo como una clase de caso, como en "cualquier clase de caso"? Me gustaría que un tipo automático pueda usar el.copy método de una clase de caso, haciendo cumplir que su auto tipo ...
Scala self type y this.type en el número de colecciones
Estoy tratando de entender mis propios tipos abstractos y explícitos en scala. Consideremos este ejemplo: quiero crear una base para un árbol extensible tan simple como esto: trait Tree { def children: Iterable[Tree] def descendants: ...
¿Tipo de campo Java para un valor de un tipo automático genéricamente recursivo?
Dado una jerarquía de clases donde la clase base define un auto-tipo recursivo: abstract class A<T extends A<T>> { } ¿Cómo puedo declarar otra clase (que no debería ser genérica en T, porque dicha T podría variar durante la vida útil del objeto) ...
Autorreferencias explícitas sin tipo / diferencia con '' this ''
Entiendo el uso de autorreferencias escritas explícitamente [http://www.scala-lang.org/node/124]: trait T { self : T2 => ... }En el cuerpo,self es un alias parathis pero tiene el tipo más precisoT with T2. Ahora, he visto esto en ...
Scala: método de implementación con tipo de retorno de instancia concreta
Necesito una forma de imponer un método en una clase abstracta para tener un tipo de retorno delhormigón clase del objeto que se llama. El ejemplo más común ...
scala self-type: el valor no es un error de miembro
Este es un seguimiento deesta pregunta [https://stackoverflow.com/questions/4774743/scala-self-type-member-of-type-parameter-error] . Estoy tratando de implementar vectores en scala con una superclase genérica usando self-types: trait Vec[V] { ...
¿Cómo usar Scala's this typing, abstract types, etc. para implementar un Self type?
No pude encontrar la respuesta a esto en ninguna otra pregunta. Supongamos que tengo una superclase abstracta Abstract0 con dos subclases, Concrete1 y Concrete1. Quiero poder definir en Abstract0 algo como def setOption(...): Self = {...}donde ...