更改使用模式匹配来应用绑定运算符的do表达式
Posted
tags:
篇首语：本文由小常识网(cha138.com)小编为大家整理，主要介绍了更改使用模式匹配来应用绑定运算符的do表达式相关的知识，希望对你有一定的参考价值。
[LYAH, in For a Few Monads More显示此功能，
solveRPN :: String -> Maybe Double
solveRPN st = do
[result] <- foldM foldingFunction [] (words st)
return result
将模式匹配与do表达式结合使用以确保从foldM出来的单子包装单个列表]
为了真正理解do表达式以及Monad的本质，我一直在用>>=和>>而不是do表达式重写那本书中的大多数示例Real World Haskell中也有人建议使用，但我不记得是哪一章。
关于上面的功能，我有点困惑。不使用do表达式编写代码的最简洁方法是什么？我能想到的最好的是
solveRPN :: String -> Maybe Double
solveRPN s = foldM step [] (words s) >>= \x -> case x of
[y] -> Just y
_ -> Nothing
但是我希望有一种更干净的东西，因为这有两个原因，所以很吵：
- 它使用lambda
- 它使用
case表达式，看起来比if-then-else更好。
[This question与当前版本有关。
Haskell报表中指定的desugaring of do notation实际上包括模式匹配，以便处理现在与do类型类一起指定的fail的模式匹配失败。它可以写为MonadFail或功能。
case
因此在您的示例中，可能看起来像这样。
do e = e
do e;stmts = e >> do stmts
do p <- e; stmts = let ok p = do stmts
ok _ = fail "..."
in e >>= ok
do let decls; stmts = let decls in do stmts
（当然solveRPN :: String -> Maybe Double
solveRPN st = foldM foldingFunction [] (words st) >>= \ x -> case x of
[result] -> return result
_ -> fail "Pattern match failure in do expression at file:line:col"
只是fail message :: Maybe a。]
您可以使用Nothing使其更加简洁，以避免多余的变量。]>
LambdaCase这是标准的减重法，但是如果您想进一步打高尔夫球，可以使用辅助功能。如果要允许非单个列表，则标准
-# LANGUAGE LambdaCase #- solveRPN :: String -> Maybe Double solveRPN st = foldM foldingFunction [] (words st) >>= \ case [result] -> return result _ -> fail "Pattern match failure in do expression at file:line:col"有效。
listToMaybe :: [a] -> Maybe a没有标准
import Data.Maybe (listToMaybe) solveRPN :: String -> Maybe Double solveRPN st = foldM foldingFunction [] (words st) >>= listToMaybe，但您可以轻松编写一个。
singletonToMaybe然后使用单子合成运算符
singletonToMaybe :: [a] -> Maybe a singletonToMaybe [x] = Just x singletonToMaybe _ = Nothing -- or: singletonToMaybe xs = guard (isSingleton xs) *> listToMaybe xs isSingleton = null . drop 1或<=<以无点样式编写该函数。
>=> 以上是关于更改使用模式匹配来应用绑定运算符的do表达式的主要内容，如果未能解决你的问题，请参考以下文章