采用 Ordered[A] 任何子类型的函数的 Scala 语法是什么？

Question

我想编写一个适用于任何具有全排序的 Scala 类型的函数（即我可以在其上使用“<”）。 其语法是什么？ 我想出的最好的办法是

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

，当我尝试从 REPL 中使用它时，这不起作用：

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

本质上，我相信我想要与​​此 Haskell 代码等效的代码：

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

我在 Debian 上使用 scala 2.7.3系统。

我缺少什么，在哪里？

Answer 1

Scala 中 Haskell 类型类的等效项是通过隐式完成的。 有两种方法可以实现您想要的功能

第一种是使用视图边界

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

第二种是使用隐式参数

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

前者是后者的语法糖。 后者允许更大的灵活性。