用于模拟的 Haskell monad

Question

表示输入更新状态的最佳方式是什么？

我模拟物理系统。它有状态(坐标、速度)。状态通过从 stdin 获取一些参数(力)的模拟进行更新。每个模拟周期后，结果都会发送到 stdout。

程序应在 N 个周期后停止。

我已经用 readIORef 和 writeIORef 完成了它，但这很丑陋。

Answer 1

一种简单的方法是沿着惰性(可能无限)列表进行 fork ，而不是执行任何显式 IO。

import Control.Monad.State

-- Prerequisites:

data SimState     -- coordinates & velocities.
data SimTVParams  -- what's read from input.   `instance Read`.

initialState :: SimState
simStep :: SimTVParams -> SimState -> SimState
simStateInfo :: SimState -> String

-- How to do the simulation:

main :: IO ()
main = interact $ 
          unlines . map simStateInfo
        . simulate initialState
        . map read . lines

simulate :: SimState -> [SimTVParams] -> [SimState]
simulate iState = (`evalState` iState) . mapM (state . step)
 where step params oldState = (newState, newState)
        where newState = simStep params oldState