收集行动并在必要时尽早开展业务

Question

我正在将一些Python代码转换为Haskell。业务逻辑相当复杂，我的Haskell代码越来越难看。

我的Python函数：

def f(some_state):
    doAction1() # e.g. send_message("Hi there!")
    if not userIsAuthenticated:
        doAction2() # e.g. send_message("Please login")
        return
    if not userHasPermission:
        doAction3() # e.g. send_message("Please sudo")
        return
    if somePredicate3:
        doAction4()
        if somePredicate4:
            doAction5()
    return

对于Haskell版本，我有两个约束：

1. 为了保持我的代码尽可能的纯粹，我想把我所有的操作收集在一个列表中（或者如果我觉得有趣的话，一个自由单子），然后（在函数之外）执行它。在Python中，我将在函数的开头定义tmp = []，将所有操作附加到tmp（不调用它们）并返回tmp。然后，我会迭代列表来执行所有的操作（根本不是Pythonic！）。
2. 而不是像这样被推到右边的疯狂：

-

if a
then undefined
else if b
     then undefined
     else if c
          then undefined
          else if d
               then undefined
               else undefined

基本上，我想收集一个行动列表，并在必要时提前退出，这样我就可以写下如下内容：

tell Action1
when somePredicate1 $ tell doAction2
when somePredicate2 $ tell doAction3
...

tell不是来自writer monad，而是一个函数（它不存在），它聚合了迄今为止“告诉”的所有内容（即writer monad），并在我退出时返回。

这真的感觉像是一个广义的非此即彼的单子，除了我需要保留在第一个左边之前发生的所有动作（不仅仅是左值），然后在第一个左边提前退出。我认为这个解决方案可能建立在MonadPlus或其他替代品的基础上，但我就是想不出什么好东西。基本上，一个花哨的守卫。

也有可能我在过度工程中获得了太多的乐趣，我应该接受我的代码必须正确漂移。但那就不优雅了，不是吗？

编辑：为了清楚起见，我想要一个f:：State类型的函数-




Answer 1

这听起来像是mtl控制下的投掷者的理想用法。蒙纳德。除了这样：

{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE RecordWildCards  #-}

module Main where

import Control.Monad.Except

data UnlockError =
    UnlockErrorNoLogin
  | UnlockErrorNeedsSudo

data State = State {
    stateUserIsAuthenticated :: Bool
  , stateUserHasPermission :: Bool
  }

unlock :: MonadError UnlockError m => State -> m String
unlock State{..} = do
  action1
  unless stateUserIsAuthenticated
         (throwError UnlockErrorNoLogin)
  unless stateUserHasPermission
         (throwError UnlockErrorNeedsSudo)
  return "all"
  where
    action1 = return ()

main :: IO ()
main = do
  state <- conjureState
  case unlock state of
    Left UnlockErrorNoLogin ->
      p "please log in"
    Left UnlockErrorNeedsSudo ->
      p "please sudo"
    Right count ->
      p ("i love you with " ++ show count ++ " of my heart")
  where
    p =
      putStrLn
    conjureState =
      return (State True True)