Каков синтаксис Scala для функции, принимающей любой подтип Ordered [A]? - PullRequest
Новая
       13

Каков синтаксис Scala для функции, принимающей любой подтип Ordered [A]?

14 голосов
/ 27 марта 2009

Я хочу написать функцию, которая работает с любым типом Scala с полным упорядочением (т. Е. Я могу использовать «<» для него). Какой синтаксис для этого? Лучшее, что я придумал, это </p> 

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

Я использую scala 2.7.3 в системе Debian.

Чего мне не хватает и где?

1 Ответ

24 голосов
/ 28 марта 2009

Эквивалент классов типов Haskell в Scala выполняется через импликиты. Есть два способа сделать то, что вы хотите

Первый - с границами просмотра 

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

Первый является синтаксическим сахаром для последующего. Последнее позволяет больше гибкости.

...