5

y-combinatorを使用して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) )

カレーなしのバージョンで何が間違っていますか？

4

1 に答える 1

9

のビット(g) => (x :Int,y :Int) =>。Scala は、引数が (Int,Int) のタプルであることを想定しているため、次のようになります。(g) => (tup: (Int, Int)) =>

少しのパターン マッチングを使用して、tup_1でマッチングを使用する必要がないようにすることができます。_2これは私にとってはうまくコンパイルされます：

def gcd = y[(Int, Int), Int](g => {
  case (x,y) => if(x == 0) y else g(y % x, x)
})
于 2012-01-20T23:46:55.273 に答える