Scala булева функция абстракция

Question

У меня есть функция Foo, которая принимает булеву функцию

def foo(f:(_)=>Boolean) = //do something with f 

Я могу назвать Foo следующего

foo((x:Int) => x == 0) 

Теперь я хочу изменить Foo принять любую функцию, которая возвращает логическое значение , например. модифицированный foo должен работать в следующих случаях.

foo((x:Int, y:Int) => x == y) 
foo((x:Int, y:Int, z:Int) => x == y && y == z) 
foo((x:Double, y:Double, z:Double, p:Double) => x < y && y < z && z < p) 
//and so on... 

Моя первая попытка была изменить Foo следующим

def foo2(f:(_*)=>Boolean) = //do something with f 

Но это не работает.

Answer 1

Что сказал @Nicolas.

Вы можете сделать код сайта звонка немного приятнее, используя Function.tupled.

scala> def foo[A](f: A => Boolean) = 0 
foo: [A](f: A => Boolean)Int 

scala> import Function.tupled 
import Function.tupled 

scala> foo(tupled((x: Int, y: Int) => x == y)) 
res0: Int = 0 

scala> foo(tupled((x: Int, y: Int, z: Int) => x < y && y < z)) 
res1: Int = 0 

Answer 2

ли это соответствовать вашим потребностям def foo[A](pred: A => Boolean)

Например:

def foo[A](pred: A => Boolean): A => Boolean = {x:A => 
    if (pred(x)) { 
    println("Yeah!") 
    true 
    } else { 
    false 
    } 
} 

А потом:

foo {xy:(Int, Int) => xy._1 == xy._2} 

foo {xyz:(Int, Int, Int) => xyz._1 == xyz._2 && xyz._2 == xyz._3} 

Answer 3

Если вам нужно работать с более 5 аргументов, вы можете перегрузить foo для однако многих аргументов вам нужны. Scala (в настоящее время) может обрабатывать только функции до Function22, поэтому вы можете охватить все возможности с 22 строками кода и хорошим использованием сайта.

def foo[T](f: (T) => Boolean) = true 
def foo[T](f: (T, T) => Boolean) = true 
def foo[T](f: (T, T, T) => Boolean) = true 
def foo[T](f: (T, T, T, T) => Boolean) = true 
def foo[T](f: (T, T, T, T, T) => Boolean) = true 
// snip 
def foo[T](f: (T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T) => Boolean) = true 

Элегантный, нет. Работает, да.