案例中的模式匹配，Haskell

Question

我对 Haskell 相当陌生，并且有一个关于模式匹配的问题。 下面是代码的高度简化版本：

data Value = MyBool Bool | MyInt Integer

codeDuplicate1 :: Value -> Value -> IO Value
codeDuplicate1 = generalFunction True 

codeDuplicate2 :: Value -> Value -> IO Value
codeDuplicate2 = generalFunction False 

generalFunction :: Bool -> Value -> Value -> IO Value
generalFunction b x1 x2 = do result <- eval x1 
                             case result of
                               MyBool b -> do putStrLn $ show b
                                              return (MyBool b)   
                               _        -> eval x2

eval :: Value -> IO Value
eval (MyInt x) | x > 10    = return (MyInt 10)
               | x > 5 = return (MyBool True)
               | otherwise = return (MyBool False)

现在，我意识到generalFunction 中的参数b 与case 部分中的b 不同，因此，无论输入如何，此代码都会打印b。我使用相同的名字只是为了表明我的意图。所以我的问题是：

有没有办法将第一个 b 与第二个 b 匹配，这样如果 b 相同，它将打印，否则它将评估 x2 ？如果没有，是否还有其他好方法来获得预期结果？

我几乎在这个问题中找到了答案，但是我认为这种情况略有不同。

Answer 1

您可以使用受保护的模式。如果 MyBool 匹配且 b == b2，则将执行第一个替代方案；否则将执行第二种选择。

case result of
  MyBool b2 | b == b2 -> do {print b; return $ MyBool b}
  _ -> eval x2