如果两个参数都是Just，则Haskell函数返回Just对值，否则为Nothing

Question

定义一个函数

  pairMaybe :: Maybe a -> Maybe b -> Maybe (a,b) 

只有当两个参数都是Just时才产生Just结果，如果两个参数都是Nothing则产生Nothing 。

我想出来：

pairMaybe (Just a) (Just b) = Just (a,b)
pairMaybe (Just a) Nothing = Nothing
pairMaybe Nothing (Just b) = Nothing

我不确定这是否是正确的写作方式。 这有什么问题或者这是定义这个功能的方法吗？

另外我想我可能想要更好地解释这个函数实际上可以做什么 ，所以如果我用两个参数调用pairMaybe ，它们可以是什么参数？ 当然，他们必须属于Maybe类型，但有什么好例子？

Answer 1

通过模式匹配来做这件事很好; 你可以通过使用来简化你的代码

pairMaybe :: Maybe a -> Maybe b -> Maybe (a,b)
pairMaybe (Just a) (Just b) = Just (a,b)
pairMaybe _        _        = Nothing

话虽这么说，你的函数实际上只是将(,)函数（创建2元组）提升到Maybe monad中，所以你也可以写

pairMaybe :: Maybe a -> Maybe b -> Maybe (a,b)
pairMaybe = liftM2 (,)

Answer 2

您错过了两个值都为Nothing （与您的任何模式都不匹配）的模式：

pairMaybe Nothing Nothing = Nothing

除了模式匹配之外，还有一种在Haskell中完成工作的好方法。

Answer 3

看起来很棒！ 虽然你可以缩短一点。

pairMaybe (Just a) (Just b) = Just (a,b)
pairMaybe _        _        = Nothing

这也修复了Simeon指出的错误。 您可以简化它的原因是Nothing所有右侧都是相同的，因此这些案例可以合并为一个。