通过在Scala中组合Option [谓词]函数来构建最小谓词函数(可能使

用户可以为行上的任何属性提供特定限制(例如,我只想查看x == 1的行).如果它们没有指定限制,那么当然不使用谓词.当然,最简单的形式是：

list.filter(_.x == 1)

有许多可能的简单谓词,我正在构建一个新的谓词函数,其中包含将用户搜索项(例如Option [Int])转换为谓词函数或Identity(返回true的函数)的代码.代码看起来像这样(缩短了,为了清楚起见添加了显式类型)：

case class ResultRow(x: Int,y: Int)

object Main extends App {
  // Predicate functions for the specific attributes,along with debug output
  val xMatches = (r: ResultRow,i: Int) => { Console println "match x"; r.x == i }
  val yMatches = (r: ResultRow,i: Int) => { Console println "match y"; r.y == i }
  val Identity = (r : ResultRow) => { Console println "identity"; true }

  def makePredicate(a: Option[Int],b: Option[Int]) : ResultRow => Boolean = {
    // The Identity entry is just in case all the optional params are None 
    // (otherwise,flatten would cause reduce to puke)
    val expr = List(Some(Identity),a.map(i => xMatches(_: ResultRow,i)),b.map(i => yMatches(_: ResultRow,i))
                   ).flatten

    // Reduce the function list into a single function. 
    // Identity only ever appears on the left...
    expr.reduceLeft((a,b) => (a,b) match {
      case (Identity,f) => f
      case (f,f2) => (r: ResultRow) => f(r) && f2(r)
    })
  }

  val rows = List(ResultRow(1,2),ResultRow(3,100))

  Console println rows.filter(makePredicate(Some(1),None))
  Console println rows.filter(makePredicate(None,Some(100)))
  Console println rows.filter(makePredicate(Some(3),Some(100)))
}

这非常有效.运行时,它会正确过滤,调试输出证明调用最少数量的函数来适当地过滤列表：

match x
match x
List(ResultRow(1,2))
identity
identity
List(ResultRow(1,100))
match y
match y
List(ResultRow(3,100))
match x
match x
match y
List(ResultRow(3,100))

我真的很高兴这出来了.

但是,我不禁想到有一种更实用的方法(例如Monoids和Functors以及广义总和)……但我无法弄清楚如何使它工作.

我尝试了一个scalaz示例,表明我需要创建一个隐含的零和半群,但我无法得到零[ResultRow => Boolean]进行类型检查.