haskell - Haskell 中惯用的有状态循环

Question

有没有一种惯用的方式来表达 Haskell 中的以下代码？

main :: IO ()
main = loop initState1 initState2 initState3

loop :: State1 -> State2 -> State3 -> IO ()
loop s1 s2 s3 = do
  s1' <- runService1 s1
  s2' <- runService2 s2
  s3' <- runService3 s3
  loop s1' s2' s3'

这段代码非常冗长，所以我可能做了一些奇怪的事情。

Answer 1

main = fix (zipWithM ($) >=>)
  [runService1, runService2, runService3]
  [initState1 , initState2 , initState3 ]

比较 fix . (>>=) :: IO a -> IO b ，即 forever .

编辑:这仅适用于 State1 = State2 = State3 .如果没有， data-fix允许:

main = fix (traverse unFix >=>)
  [ana runService1 initState1, ana runService2 initState2, ana runService3 initState3]