Ordered [A]のサブタイプを取る関数のScala構文は何ですか？

Question

すべてのScala型で動作する関数を作成したいと考えています（つまり、 '<'を使用できます）。その構文は何ですか？私が思い付くした最高のは、私はREPLからそれを使用しようとすると、しかし、動作しません

def lessThan[T <: Ordered[T]](x: T, Y: T) = x < y 

です：

基本的に

scala> lessThan(1, 2) 
<console>:8: error: inferred type arguments [Int] do not conform to method lessThan's type parameter bounds [T <: Ordered[T]] 
     lessThan(1, 2) 
    ^

scala> import runtime._ 
import runtime._ 

scala> lessThan(new RichInt(1), new RichInt(2)) 
<console>:8: error: inferred type arguments [scala.runtime.RichInt] do not conform to method lessThan's type parameter bounds [T <: Ordered[T]] 
     lessThan(new RichInt(1), new RichInt(2)) 

、私はこれと同等のものをしたいと考えていますハスケルコード：

lessThan :: (Ord a) => a -> a -> Bool 
lessThan x y = x < y 

私はDebianシステムでscala 2.7.3を使用しています。

私は何が欠けていますか？

Answer 1

ScalaのHaskellの型クラスに相当するのは、暗黙的に行われます。あなたは

が最初の第二は、前者は、後の構文糖である暗黙のパラメータで

scala> def lessThan[T](x : T, y : T)(implicit f : T => Ordered[T]) = x < y  
lessThan: [T](T,T)(implicit (T) => Ordered[T])Boolean 

scala> lessThan(4,3) 
res1: Boolean = false 

あるビューの境界で

scala> def lessThan[T <% Ordered[T]](x : T, y : T) = x < y 
lessThan: [T](T,T)(implicit (T) => Ordered[T])Boolean 

scala> lessThan(1,2) 
res0: Boolean = true 

でやりたいことには二つの方法があります。後者は、より柔軟性を可能にします。