Wie lautet die Scala-Syntax für eine Funktion, die einen Untertyp von Ordered [A] verwendet?

Question

Ich möchte eine Funktion schreiben, die auf jedem Scala-Typ mit einer Gesamtbestellung funktioniert (d. H. Ich kann '<' darauf verwenden). Wie lautet die Syntax dafür? Das Beste, was ich habe kommen mit ist

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

Das ist nicht, obwohl nicht funktioniert, wenn ich es aus dem REPL Versuchen Sie es mit:

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)) 

Im Grunde glaube ich das Äquivalent von dieser wollen Haskell code:

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

Ich verwende scala 2.7.3 auf einem Debian-System.

Was vermisse ich und wo?

Answer 1

Das Äquivalent von Haskells Typklassen in Scala erfolgt über implicits. Es gibt zwei Möglichkeiten zu tun, was Sie

wollen Die erste mit Blick Grenzen ist

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 

Der zweite mit einem impliziten Parameter ist

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 

Ersteres ist Syntax Zucker für die spätere. Letzteres ermöglicht mehr Flexibilität.