varias superponer studio metaetiquetas lineas graficos graficas etiquetas ejemplos scala structural-typing

superponer - Scala: ¿cómo definir un tipo estructural que se refiera a sí mismo?



superponer graficas en r (2)

Seguramente podrías resolver este problema usando el enfoque de clases de tipos (por ejemplo, Scalaz ):

trait Multipliable[X] { def *(d : Double) : X } trait Addable[X] { def +(x : X) : X } trait Interpolable[X] extends Multipliable[X] with Addable[X] def interpolate[X <% Interpolable[X]](t : Double, a : X, b : X) = a * (1.0 - t) + b * t

Entonces, obviamente, necesitaría una conversión de clase de tipo (implícita) en el alcance para todos los tipos que le interesan:

implicit def int2interpolable(i : Int) = new Interpolable[Int] { def *(t : Double) = (i * t).toInt def +(j : Int) = i + j }

Entonces esto se puede ejecutar fácilmente:

def main(args: Array[String]) { import Interpolable._ val i = 2 val j : Int = interpolate(i, 4, 5) println(j) //prints 6 }

Intento escribir un método de interpolate genérico que funcione en cualquier tipo que tenga dos métodos, un * y un + , como este:

trait Container { type V = { def *(t: Double): V def +(v: V): V } def interpolate(t: Double, a: V, b: V): V = a * (1.0 - t) + b * t }

Aunque esto no funciona (en Scala 2.8.0.RC7), recibo los siguientes mensajes de error:

<console>:8: error: recursive method + needs result type def +(v: V): V ^ <console>:7: error: recursive method * needs result type def *(t: Double): V ^

¿Cómo especifico el tipo estructural correctamente? (¿O hay una mejor manera de hacer esto?)