スカラ：それはどのように比較する方法

Question

を含めることができるようにScalaの中のすべての数のクラスのサブタイプであるジェネリック型を作成する私は、私が取り扱っておりますことを保証するために、数値（のジェネリック型ビーイングサブクラスでジェネリッククラスを作成しようとしています数字の場合） と私は "class NuVector[T<:Numeric[T])"をクラスdefとして試してみました。

今、私はそれにPartiallyOrdered[T]を追加したいです。私は次のようにしました：

class NuVector[T<:Numeric[T]) extends PartiallyOrdered[T] 
{ 

/** Array that stores the vector values. 
    */ 
    val v = new Array [T] (_length) 
    /** Range for the storage array. 
    */ 
    private val range = 0 to _length - 1 

    def compare(x:T,y:T)(implicit res:Numeric[T]) :Int= 
    { 
     res.compare(x,y) 
    } 

    def tryCompareTo [B >: NuVector [T]] (b: B) 
     (implicit view$1: (B) => PartiallyOrdered [B]): Option [Int] = 
    { 
     compare(x,y) 
    } 

    implicit def castT2Ordering(x:T):Numeric[T]=x.asInstanceOf[Numeric[T]] 
    implicit def castB2NuVector [B>:NuVector[T]] (b:B): NuVector[T]= 
    { 
       b.asInstanceOf[NuVector[T]] 
    } 

} 

コンパイル中です。 コンパイル中に私が取得していますエラーは次のとおりです。私は使用しています

could not find implicit value for parameter res:Numeric[T] 

Scalaのバージョンは2.8

すべてのヘルプは大歓迎です。

おかげで、
〜タイガー。
バグか自分の定義に問題があるかどうかはわかりません。

Answer 1

ScalaのNumeric[T]は"Typeclass Pattern"を使用しています。 class NuVector[T <: Numeric[T]]と言っても意味がありません。代わりに、あなたが望むのはclass NuVector[T](implicit n: Numeric[T])です。さらに良い

Answer 2

、これはまたバインドコンテキストとして知られており、nは実際にあなたが直接

にアクセスすることはできませんいくつかの合成的に生成された名前である class NuVector[T](implicit n: Numeric[T])

のためだけの構文糖ですclass NuVector[T:Numeric]

を使用