gpt4 book ai didi

Haskell 最佳实践 : Early termination in Haskeline

转载 作者:行者123 更新时间:2023-12-02 16:51:59 26 4
gpt4 key购买 nike

我正在使用Haskeline包,我想在做任何事情之前从命令行连续获取三个字符串,并且我想出了对我来说似乎是一个巧妙的解决方案。但我确信可能有更好的方法来做到这一点。我正在寻找使用 Haskeline 包时的最佳实践。请评估以下示例代码的优点:

import System.Console.Haskeline
import Control.Monad.Trans
import Control.Monad.Maybe
import Data.Maybe
import Control.Monad

main :: IO ()
main = runInputT defaultSettings (runMaybeT getStrings) >>= print

getStrings :: MaybeT (InputT IO) (String, String, String)
getStrings = do
mone <- lift $ getInputLine "food> "
notNothing mone
mtwo <- lift $ getInputLine "drink> "
notNothing mtwo
mthree <- lift $ getInputLine "dessert> "
notNothing mthree
return (fromJust mone, fromJust mtwo, fromJust mthree)
where
notNothing a = guard (a /= Nothing)

正如您所看到的,它完成了提前终止的任务,但看起来仍然有点令人讨厌。我正在考虑尝试将 notNothing 和 getInputLine 转换为一行,例如:

mone <- notNothing =<< lift $ getInputLine "food> " -- does not type check

我认为看起来没那么糟糕。我认为这是非常清晰和简洁的(尽管它没有类型检查,所以我必须编写一个可以进行类型检查的版本)。

但是,这是我想出的最好的方法,我的最终问题是:您将如何改进此代码以使其更整洁且更易于阅读?我是否走在正确的道路上?

编辑:如果你的防护不是“a/= Nothing”,那么我刚刚发现的一个很好的辅助函数是:

myGuard s = guard (someConditionFunc s) >> s

因为这样你就可以写(如 luqui 建议):

mone <- myGuard =<< (lift $ getInputLine prompt)

这很酷。但如果您只匹配 Nothing,那么 TomMD 的答案会更好。

最佳答案

为什么不直接利用 Maybe monad 的 fail _ = Nothing 这一事实呢?

mthree <- lift $ getInputLine "dessert> "
notNothing mthree

变成了

Just mthree <- lift $ getInputLine "dessert> "

关于Haskell 最佳实践 : Early termination in Haskeline,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/4771199/

26 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com