模式匹配在模式匹配中的函数应用？

Question

我希望与函数应用程序返回的值进行模式匹配。例如：

如果我有一个Map，并且我想在地图中的一个键上交替，我有一个比以下更好的选择吗？

f map k = case map !? k of
            Just _  -> foo
            Nothing -> bar

在这种特殊情况下，我可以很容易地使用member和，比如：

f map k | member k map = foo
        | otherwise    = bar

但在某些情况下更倾向于使用模式匹配。

Answer 1

第一个示例确实使用模式匹配，但只在case表达式中使用。但我认为您要寻找的是ViewPatterns扩展，它可以用于消除样板(特别是在case表达式中，您可以同时使用模式匹配和保护)。

{-# LANGUAGE ViewPatterns #-}
f k ((!? k)-> Just _) = foo
f _ _ = bar

但是，请注意，您需要切换参数的顺序，以便使k在秒参数的视图模式中处于作用域。

但我不认为这比你的第一个版本的f更好。