스칼라 (INT, INT) => 지능 (INT, INT) => Int 인

Question

내가 스칼라에서 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) =>입니다. 스칼라는 인수 (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) 
})