Scala - làm thế nào để xác định một loại cấu trúc đề cập đến chính nó?

Question

Tôi đang cố gắng để viết một interpolate phương pháp chung mà hoạt động trên bất kỳ loại có hai phương pháp, một * và +, như thế này:

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 
} 

này không hoạt động mặc dù (trên Scala 2.8.0 .RC7), tôi nhận được thông báo lỗi sau:

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

Làm cách nào để chỉ định loại cấu trúc chính xác? (Hoặc có cách nào tốt hơn để thực hiện việc này không?)

Answer 1

Chắc chắn bạn có thể giải quyết vấn đề này bằng cách sử dụng typeclasses cách tiếp cận (các ví dụ 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 

Sau đó, rõ ràng bạn sẽ cần một (implicit) typeclass chuyển đổi trong phạm vi cho tất cả các loại bạn quan tâm:

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

Sau đó, điều này có thể được chạy một cách dễ dàng:

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

    println(j) //prints 6 
} 

Answer 2

AFAIK, điều này là không thể. Đây là một trong số first questions của riêng tôi.