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

Question

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

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

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
                             ^

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

8

scala structural-typing

задан Jesper 8 July 2010 в 07:48

2 ответа

Насколько я знаю, это невозможно. Это был один из моих первых вопросов .

3

ответ дан 5 December 2019 в 15:19

Другие вопросы по тегам:

scala structural-typing

Похожие вопросы:

score 8 · Accepted Answer

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