Scala: (int, int) => int non corrisponde (int, int) => int
-
07-11-2019 - |
Domanda
Sto cercando di usare la combinazione Y per definire GCD in 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) )
}
Ma sto ricevendo un errore:
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) )
^
Se curirò tutti gli argomenti, allora non ci sono problemi:
def gcd = y[Int,Int => Int]( g => x => y => if (x == 0) y else g(y % x)(x) )
Cosa sto facendo di sbagliato nella versione incrostata?
Nessuna soluzione corretta
Autorizzato sotto: CC-BY-SA insieme a attribuzione
Non affiliato a StackOverflow