Scala - как определить структурный тип, который относится к самому себе?

Question

Я пытаюсь написать общий interpolate метод, который работает на любом типе, который имеет два метода, * и +, как это:

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 
} 

Это не работает, хотя (по Scala 2.8.0 .RC7), появляется следующее сообщение об ошибках:

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

Как правильно указать структурный тип? (Или есть лучший способ сделать это?)

Answer 1

Конечно, вы могли бы решить эту проблему с помощью классов типов подход (ЭГ 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 

Тогда, очевидно, вам потребуется (неявный) класс типов преобразования в области видимости для всех типов вы заботились о:

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

Тогда это может работать легко:

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

    println(j) //prints 6 
} 

Answer 2

AFAIK, это невозможно. Это был один из моих собственных first questions.