スカラ：（INT、INT）=> intは一致していない（INT、INT）=>のInt

Question

私はScalaでGCDを定義するには、y-コンビネータを使用しようとしている：

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

しかし、私エラーを取得「メートル：

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

私はuncurriedバージョンで間違ってやっている何を：私はすべての引数をカレー場合

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

、その後、全く問題ありませんか？

Answer 1

ビットは(g) => (x :Int,y :Int) =>です。それはあなたがTUPに_1と_2マッチングを使用する必要がないように、パターンマッチングのビットを使用することができ、よりなどの(g) => (tup: (Int, Int)) =>

になるので、Scalaは、あなたの引数が（INT、INT）のタプルであることを期待しています。

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