也许是合并操作员

Question

我想知道如何定义一个运算符/如果Haskell中已经存在一个运算符，可以选择第一个不Nothing的Maybe类型，如果所有如果它们都不是，它会返回一些默认值。基本上是这样的：

let x = a ?? b ?? c ?? 1

其中(??)是运算符，a, b, c都是Maybe类型。我希望这段代码返回Just或1的第一个值，如果a, b, c所有值都Nothing。

我基本上希望复制与您在C#或其他语言中找到的空合并运算符相同的功能。

这个问题显示了如何在 F#(F#中的空合并运算符？(，它非常笨拙。有没有办法在哈斯克尔干净利落地做到这一点，如果没有，你能得到的最接近它的是什么？

Answer 1

Haskeller通常会使用(<|>) :: Maybe a -> Maybe a -> Maybe a来做这种事情。假设a, b, c :: Maybe Int，你有x :: Maybe Int

let x = a <|> b <|> c <|> Just 1

当然，这不是你真正要求的。如果你愿意，你可以定义它！

-- You expect `a ?? b ?? c ?? 1` to parse as `a ?? (b ?? (c ?? 1))`
infixr 3 ??
-- (Someone is going to point out that `(??) = flip fromMaybe`, so I am first)
(??) :: Maybe a -> a -> a
Just x ?? _ = x
Nothing ?? y = y

然后，您可以准确地获得预期的行为。假设a, b, c :: Maybe Int，你有x :: Int：

let x = a ?? b ?? c ?? 1

Answer 2

你介意换个写法吗？

safeHead [] d = d
safeHead (h:_) _ = h

然后

let x = safeHead (catMaybes [a, b, c]) 1

应该做你想做的事。

如果你想以这种方式做到这一点，这是可行的，但需要两个运算符。

a@(Just _) ?? _ = a
_ ?? b = b
(Just e) ?: _ = e
_ ?: d = d

定义您需要的两个运算符，它们有效：

Prelude> let a = Nothing
Prelude> let b = Nothing
Prelude> let c = Just 3
Prelude> a ?? b ?? c ?: 10
3
Prelude> a ?? b ?? Nothing ?: 10
10

Answer 3

只是出于一些练习目的，这个作业也可以用Monoid类类型First来表示，这是一个返回最左边的非无值的Maybe幺半群。

import Data.Monoid
import Data.Maybe (fromJust)
infixr 3 ??
(??) :: Maybe a -> a -> a
x ?? y = fromJust . getFirst $ First x <> First (Just y)
*Main> Nothing ?? Nothing ?? 1
1
*Main> Nothing ?? Just 3 ?? 1
3
*Main> Just 7 ?? Just 3 ?? 1
7