Scala: (Int, Int) => Int 不匹配 (Int, Int) => Int

Question

我正在尝试使用 y 组合器在 Scala 中定义 gcd:

object Main {
  def y[A,B]( f : (A => B) => A => B ) : A => B = f(y(f))
  def gcd = y[(Int,Int),Int]( (g) => (x,y) => if (x == 0) y else g(y % x, x) )
}

但我收到一个错误:

Main.scala:3: error: type mismatch;                                                  
 found   : (Int, Int) => Int                                                               
 required: (Int, Int) => Int                                                               
    def gcd = y[(Int,Int),Int]( (g) => (x :Int,y :Int) => if (x == 0) y else g(y % x, x) ) 
                                                       ^

如果我把所有的论点都罗列出来，那就没问题了:

def gcd = y[Int,Int => Int]( g => x => y => if (x == 0) y else g(y % x)(x) )

我在未经处理的版本中做错了什么？

Answer 1

带(g) => (x :Int,y :Int) =>的位. Scala 期望您的参数是 (Int,Int) 的元组，因此它更像是 (g) => (tup: (Int, Int)) =>
您可以使用一些模式匹配来避免必须使用 _1和 _2在 tup 上匹配。这对我来说编译得很好:

def gcd = y[(Int, Int), Int](g => {
  case (x,y) => if(x == 0) y else g(y % x, x)
})