Scala: (Int, Int) => Int не совпадает (Int, Int) => Int - PullRequest
Новая
       30

Scala: (Int, Int) => Int не совпадает (Int, Int) => Int

5 голосов
/ 21 января 2012

Я пытаюсь использовать y-комбинатор для определения gcd в scala: 

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

Что я делаю не так в неиспользованной версии?

1 Ответ

9 голосов
/ 21 января 2012

Бит с (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)
})
...