我有一个关于在Haskell中设计程序的问题。我正在编写一个物理模拟器，在标准命令式语言中已经做过很多次了，通常主方法看起来像：
while True:
simulationState = stepForward(simulationState)
render(simulationState)
step :: SimState -> SimState和一个使用HOpenGL绘制模拟状态的函数display :: SimState -> IO ()，但我不知道如何在类似"循环"的情况下完成这个操作，因为我能想到的所有解决方案都涉及某种形式的可变性。对于Haskell来说，我是一个新手，所以我可能忽略了一些非常明显的设计决策。如果整个程序的架构有更好的方式，我会很高兴听到您的意见。谢谢！在我看来，正确的思考这个问题的方法不是循环，而是列表或其他类似的无限流结构。我曾经给一个类似的问题提供了一个类似的答案;基本思路是，如C. A. McCann所写,使用iterate stepForward initialState，其中iterate :: (a -> a) -> a -> [a]“返回重复将 [stepForward] 应用于 [initialState] 的无限列表”。
takeWhile函数，也可能手动递归），然后在其上mapM_ render。更好的方法是使用不同的、本质上是单子的流结构。我能想到的有四种：
enumerator），您的渲染将是汇（iteratee）;然后，您可以使用一个管道（enumeratee）在中间应用函数和/或进行过滤。Producer，Consumer和Pipe）。ListT单子变换器。该单子变换器旨在允许您创建具有比[m a]更有用结构的单子值列表；例如，处理无限单子列表变得更加可管理。该包还将许多列表上的函数泛化为一个新类型类。它提供了一个iterateM函数两次；第一次具有令人难以置信的通用性，第二次专门针对ListT。然后，您可以使用诸如takeWhileM之类的函数来进行过滤。如果你只想绘制连续的状态，那就很简单了。首先，使用你的step函数和初始状态，使用 iterate函数。然后，iterate step initialState是一个（无限）列表，包含每个模拟状态。随后，你可以将display映射到其中，以获取绘制每个状态的IO操作，因此你会得到以下代码：
allStates :: [SimState]
allStates = iterate step initialState
displayedStates :: [IO ()]
displayedStates = fmap display allStates
运行它最简单的方式是使用 intersperse函数 在每个显示操作之间添加一个“延迟”动作，然后使用 sequence_函数 运行整个过程：
main :: IO ()
main = sequence_ $ intersperse (delay 20) displayedStates
runLoop :: SimState -> IO ()
runLoop st = do display st
isDone <- checkInput
if isDone then return ()
else delay 20 >> runLoop (step st)
我更喜欢编写非递归步骤，然后使用更抽象的循环组合器。不幸的是，在标准库中没有很好的支持这种方式，但它看起来应该是这样的：
runStep :: SimState -> IO SimState
runStep st = do display st
delay 20
return (step st)
runLoop :: SimState -> IO ()
runLoop initialState = iterUntilM_ checkInput runStep initialState
留下实现iterUntilM_函数的任务供读者完成, 呵呵。
你的方法没问题，只需记住在Haskell中循环是用递归表示的：
simulation state = do
let newState = stepForward state
render newState
simulation newState
（但你绝对需要一个结束循环的标准。）
monad-loops包，我认为这实际上是该方法最清晰的演示。 - C. A. McCannListT的关系大致相同，就像Data.List中的递归组合器与普通列表的关系一样；同样，它们强调递归和最终结果，而流处理则强调中间步骤的方面。我认为理解每个方面可以更好地了解正在发生的事情。 - C. A. McCann