如何在Scala中構建泛型方法？

Question

我學習Scala，並具有以下玩具代碼：

object M { 
    def isSorted[X](xs: Array[X], compare: (X, X) => Boolean): Boolean = 
    xs.dropRight(1).zip(xs.drop(1)).forall(Function.tupled(compare)) 

    def curry[A,B,C](f: (A, B) => C) : A => (B => C) = 
    (a) => (b) => f(a, b) 
} 

我的目標是把它想：

M.curry(M.isSorted)(Array(1,2,3))((a, b) => a < b) 

但我收到的錯誤：

scala> M.curry(M.isSorted)(Array(1,2,3)) 
<console>:8: error: type mismatch; 
    found : Int(1) 
    required: Nothing 
    M.curry(M.isSorted)(Array(1,2,3)) 

讓我們備份並觀察咖喱功能的類型：

scala> M.curry(M.isSorted) 
res2: Array[Nothing] => (((Nothing, Nothing) => Boolean) => Boolean) = <function1> 

這並不好。它想要一個Array[Nothing]，但不能有Nothing的實例。

我明白在某些時候我需要引入一個約束，以便編譯器可以證明表達式a < b是允許的;也就是說，a和b是Ordered。但我不知道我會把約束放在哪裏。 curry是完全通用的;約束不屬於那裏。 isSorted對compare的實施一無所知，所以它也不屬於那裏。

最近我已經得到了有它的工作是與def isSorted[X >: Any]

scala> M.curry(M.isSorted)(Array(1,2,3))((a, b) => a < b) 
<console>:8: error: value < is not a member of Any 
    M.curry(M.isSorted)(Array(1,2,3))((a, b) => a < b) 
               ^

scala> M.curry(M.isSorted)(Array(1,2,3))((a: Int, b: Int) => a < b) 
<console>:8: error: type mismatch; 
    found : (Int, Int) => Boolean 
    required: (Any, Any) => Boolean 
    M.curry(M.isSorted)(Array(1,2,3))((a: Int, b: Int) => a < b) 
                 ^

我怎樣才能得到這個工作？

Answer 1

object M { 
    def isSorted[X](xs: Array[X], compare: (X, X) => Boolean): Boolean = 
    xs.dropRight(1).zip(xs.drop(1)).forall(Function.tupled(compare)) 

    def curry[A,B,C](f: (A, B) => C) : A => (B => C) = 
    (a) => (b) => f(a, b) 
} 

嗯...我不認爲這是定義這些功能，但在這種情況下，最好的辦法，因爲這些都是通用的功能，所以你需要撥打電話時，爲他們提供一個類型。

由於@ dk14在他的評論中指出... M.sorted無法獲取類型信息，因爲Scala缺乏對多態lambda表達式的支持......這僅僅意味着在匿名函數中沒有泛型。

所以你需要爲這個特殊情況做到這一點。

M.curry(M.isSorted[Int])(Array(1,2,3)) ((a , b) => a < b)