如何在 Haskell 中将守卫与模式匹配结合起来？ （我可以吗？）

Question

现在我知道，在我用 Haskell 声明 function 签名后，我可以像这样使用 function 重载进行模式匹配：

frog :: Int -> String
frog 1 = "Ribbit"
frog 7 = "Croak"
frog 12 = "Pop!"
frog x = replicate x "Z"

我知道我也可以以类似的方式使用警卫：

frog :: Int -> String
frog x = 
    | x == 1 = "Ribbit"
    | x == 7 = "Croak"
    | x == 12 = "Pop!"
    | otherwise = replicate x "Z"

但是，我宁愿结合使用 Boolean 保护和模式来确定将执行哪个 arm 的两种方式。 类似于此 rust 片段的内容：

fn frog(x: u32) -> String {
    match x {
        k if k >= 1000 => todo!()
        k if k >= 100 => todo!()
        k if k >= 10 => todo!()
        9 | 8 | 7 => todo!()
        6 | 5 | 4 => todo!()
        3 => todo!()
        2 => todo!()
        1 => todo!()
        0 => todo!()
    }
}

我想知道在 Haskell 中是否可以这样做，如果可以，该怎么做。 先感谢您

Answer 1

你不能用一个模式匹配多个案例（ 9 | 8 | 7东西），但你可以直接组合模式和守卫：

foo 1 = "one"
foo 2 = "two"
foo k
    | k > 1000 = "greater than 1000"
    | k > 100 = "between 100 and 1000"
    | otherwise = "some other number"

守卫是模式的一部分——如果附加到一个案例的守卫都没有成功，那么控制会以您期望的方式传递给下一个案例。 （换句话说，单一模式的守卫不必详尽无遗。）

bar k | k > 1000 = "greater than 1000"
bar _ = "smaller than 1000"