scala - 组合偏函数

标签 scala monads maybe partialfunction

我有两个偏函数 fg .
它们没有副作用并且可以快速执行。
将它们组合成另一个偏函数的最佳方法是什么h以至于h.isDefinedAt(x)伊夫f.isDefinedAt(x) && g.isDefinedAt(f(x)) ?

如果h也可以是一个返回 Option 的函数而不是偏函数。

我很失望 f andThen g不做我想要的:

scala> val f = Map("a"->1, "b"->2)
f: scala.collection.immutable.Map[String,Int] = Map(a -> 1, b -> 2)

scala> val g = Map(1->'c', 3->'d')
g: scala.collection.immutable.Map[Int,Char] = Map(1 -> c, 3 -> d)

scala> (f andThen g).isDefinedAt("b")
res3: Boolean = true

scala> (f andThen g).lift("b")
java.util.NoSuchElementException: key not found: 2
    at scala.collection.MapLike$class.default(MapLike.scala:228)

最佳答案

这是比链接问题更短的方法,取自 this thread :

  val f = Map("a" -> 1, "b" -> 2)                 

  val g = Map(1 -> 'c', 3 -> 'd')                 

  def andThenPartial[A, B, C](pf1: PartialFunction[A, B], pf2: PartialFunction[B, C]): PartialFunction[A, C] = {
    Function.unlift(pf1.lift(_) flatMap pf2.lift)
  }                                               

  val h = andThenPartial(f, g)            //> h  : PartialFunction[String,Char]

  h.isDefinedAt("a")                      //> res2: Boolean = true
  h.isDefinedAt("b")                      //> res3: Boolean = false
  h.lift("a")                             //> res4: Option[Char] = Some(c)
  h.lift("b")                             //> res5: Option[Char] = None

当然,这也可以封装为一个隐式类:
  implicit class ComposePartial[A, B](pf: PartialFunction[A, B]) {
    def andThenPartial[C](that: PartialFunction[B, C]): PartialFunction[A, C] =
      Function.unlift(pf.lift(_) flatMap that.lift)
  }

  val h2 = f andThenPartial g         //> h2  : PartialFunction[String,Char]

  h2.isDefinedAt("a")                 //> res6: Boolean = true
  h2.isDefinedAt("b")                 //> res7: Boolean = false
  h2.lift("a")                        //> res8: Option[Char] = Some(c)
  h2.lift("b")                        //> res9: Option[Char] = None

关于scala - 组合偏函数,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/23024626/

相关文章:

haskell - 使用 Haskell 的 "Maybe",类型声明[初学者的问题]

arrays - 为什么 `Array(0,1,2) == Array(0,1,2)`没有返回预期结果?

scala - 如何使 scalaz.Tagged 与类类原始属性一起使用?

scala - SBT 取决于使用情况 - 从 0.12 迁移到 0.13

haskell - 从 runST 返回随机生成器

haskell - 如何嵌套 monad

haskell - 嵌套纯函数中的随机性

haskell - 如何将 &&& 与 a -> 一起使用

java - 在 scala 项目中,编译器错误 - 无法解析符号列表?

haskell 初学者