Haskell - 模式中守卫右侧使用通配符

Question

可以说我有一段这样的代码：

test pattern
 | pattern == (_,NOT (WIRE _)) = 1     
 | pattern == (_,AND (WIRE _) (WIRE _)) = 2
 | otherwise = 0

我试图将它与几种可能性之一进行匹配，有些与一个（WIRE“”），有些与两个。我的实际输入如下，例如：（“p”，NOT（WIRE“x”））。我想要一个可以接受任何字母作为输入的模式（我所希望的_）并且失败得很惨（非法_）。在 haskell 中可以做到这一点吗？

Answer 1

好的，编辑后这更有意义。

== 比较值，但_ 是模式。模式仅出现在以下语法上下文中：

• 在（模式）绑定的左侧，即“= 之前的内容”、在顶层或在 where 块中或在 let 表达式或命令中（以 do 表示法）；
• 在 do 表示法或列表理解中 <- 的左侧；
• 位于 case 表达式中 -> 的左侧；
• 作为函数的形式参数，无论是在函数绑定还是 lambda (\) 表达式中。

（我希望我没有忘记任何！）在你的情况下，你可以通过简单地编写来实现你想要的

test (_, NOT (WIRE _)) = 1
test (_, AND (WIRE _) (WIRE _)) = 2
test _ = 0

---

你可能会问“pattern == (_, NOT (WIRE _))<的正确版本是什么/代码>”。好吧，你可以写：

case pattern of
  (_, NOT (WIRE _)) -> True
  _ -> False

Answer 2

为什么你需要看守这个？我错过了什么吗？以下是我认为您正在寻找的合法 Haskell 代码。

test (_,NOT (WIRE _)) = 1     
test (_,AND (WIRE _) (WIRE _)) = 2
test _ = 0