主页 / coding / 问题 / 79549419
Accepted
planarian
Asked: 2025-04-02 08:29:03 +0800 CST

状态 monad 中的最新更新如何不会被早期的更新所取代？

  • 772

以下是《Learn You a Haskell》第 13 章中状态单子的定义

instance Monad (State s) where
    return x = State $ \s -> (x,s)
    (State h) >>= f = State $ \s -> let (a, newState) = h s
                                        (State g) = f a
                                    in  g newState

根据此定义，在我看来，虽然返回的是较新的版本，但tuple 中的状态f a似乎将被 替换。以Real World Haskell第 10 章中的具体示例为例，这显然不是作者的本意（请注意使用而不是 ，因为他们尚未正式引入 monad）newState ==>>>=

parseByte :: Parse Word8
parseByte =
    getState ==> \initState ->
    case L.uncons (string initState) of
      Nothing ->
          bail "no more input"
      Just (byte,remainder) ->
          putState newState ==> \_ ->
          identity byte
        where newState = initState { string = remainder,
                                     offset = newOffset }
              newOffset = offset initState + 1

在哪里

newtype Parse a = Parse {
      runParse :: ParseState -> Either String (a, ParseState)
    }

identity :: a -> Parse a
identity a = Parse (\s -> Right (a, s))
 
(==>) :: Parse a -> (a -> Parse b) -> Parse b
firstParser ==> secondParser  =  Parse chainedParser
  where chainedParser initState   =
          case runParse firstParser initState of
            Left errMessage ->
                Left errMessage
            Right (firstResult, newState) ->
                runParse (secondParser firstResult) newState

在parseByte，我不明白如何initState不取代newState。

haskell

1 个回答

  1. Best Answer

    再看一下定义：

    (State h) >>= f = State $ \s -> let (a, newState) = h s
                                    (State g) = f a
                                in  g newState

    该g newState调用不会将最终状态设置newState为。它将 传递newState给第二个g操作作为其起始状态。如果g更改了状态，则组合操作的最终状态将是该g调用返回的新的未命名状态。

    重命名一些变量并为调用的返回值指定一个临时名称可能会有所帮助g。通过这样做，您可以将其写为功能相同的实现：

    (State op1) >>= f = State $ \firstState -> let (a, secondState) = op1 firstState
                                               (State op2) = f a
                                               (b, thirdState) = op2 secondState
                                           in (b, thirdState)

    这有助于解释发生了什么吗？在这个定义的右侧，构造的复合操作应用了第一个操作，op1 :: s -> (a, s)该操作采用FIRST状态并生成类型的值a和SECONDa状态。然后，可以将类型的值传递给f计算第二个操作op2 :: s -> (b, s)。然后，此操作传递SECOND状态并生成类型的值b和THIRD状态。因此，在按顺序通过两个操作进行转换后，最终状态将是THIRD状态。

    其思想与 相同==>。initState将 传递给chainedParser，但 的工作方式chainedParser是将 应用于firstParser，initState得到newState，然后将 传递newState给secondParser，当 运行时runParser将返回一个未命名的最终状态。因此，initState和newState分别是 的起始和结束状态firstParser， 和newState某个“未命名状态”分别是 的起始和结束状态secondParser。

    • 5

相关问题