我写了一个Scala函数:
def liftOrIdentity[T](f: (T, T) => T) = (a: Option[T], b: Option[T]) =>
(a, b) match {
case (Some(a), None) => Some(a)
case (None, Some(b)) => Some(b)
case (Some(a), Some(b)) => Some(f(a, b))
case (None, None) => None
}
这个模式有名字吗?由于案例1和案例2,它不是一个应用程序仿函数。可以随意回答Haskell或Scala代码。
答案 0 :(得分:9)
在收集时,flatten
+ reduce
:
List(a, b).flatten.reduceOption(f)
a ++ b reduceOption f // same result
答案 1 :(得分:7)
我想起了Haskell Alternative
中的Control.Applicative
类型类:
class Applicative f => Alternative f where
empty :: f a
(<|>) :: f a -> f a -> f a
Alternative
的任何实例的函数的通用版本可能如下所示:
liftOrAlternative :: (Alternative f) => (a -> a -> a) -> f a -> f a -> f a
liftOrAlternative f a b = f <$> a <*> b <|> a <|> b
ghci> liftOrAlternative (+) (Just 1) Nothing
Just 1
ghci> liftOrAlternative (+) (Just 1) (Just 2)
Just 3
ghci> liftOrAlternative (+) Nothing Nothing
Nothing
对于Scala,我认为与Alternative
最接近的类比是来自Scalaz的ApplicativePlus
类型。
def liftOrAlternative[A, F[_]: ApplicativePlus](f: (A, A) => A)(a: F[A], b: F[A]): F[A] =
f.lift[F].apply(a, b) <+> a <+> b
我承认liftOrAlternative
并不是一个好名字。在阅读了Twan van Laarhoven的回答之后,我认为他对unionWith
的建议在表达函数的实际功能方面要好得多。
答案 2 :(得分:4)
此函数类似于Haskell容器函数
Data.Map.unionWith :: (a -> a -> a) -> Map k a -> Map k a -> Map k a
我认为unionWith一般来说都是一个好名字。更常见的应用运算符是intersectionWith
(又名。zipWith
)。
Data.Map.intersectionWith :: (a -> b -> c) -> Map k a -> Map k b -> Map k c
答案 3 :(得分:-1)
在Haskell中,有类似的名为liftM2。
liftM2 :: Monad m => (a1 -> a2 -> r) -> m a1 -> m a2 -> m r