斯卡拉：（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)) 
} 

但我“M得到一个错误：

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

什么我在uncurried版本做错了什么？

Answer 1

该位与(g) => (x :Int,y :Int) =>。斯卡拉期待你的说法是（INT，INT）的元组，因此它会更喜欢(g) => (tup: (Int, Int)) =>

可以使用的比特模式匹配，以避免使用_1和_2匹配的锤头。这对我来说编译得很好：

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