Haskell Gloss能否不规则更新视口？animateIO使用故障求助

我正尝试使用Haskell的gloss库绘制动态对象，该对象的状态基于前序状态变化。据我了解可通过simulate或play方法绘图，但二者都需预先定义FPS。我希望在更新对象状态后立即重绘，能否实现无预设FPS的不规则重绘？

补充尝试： #

我尝试使用animateIO并编写了如下代码：

module Main where

import Control.Concurrent
import Graphics.Gloss
import Graphics.Gloss.Interface.IO.Animate
import System.Clock

controllerCallback :: MVar TimeSpec -> Controller -> IO ()
controllerCallback m c = do
  t <- getTime Monotonic
  -- putMVar m t
  threadDelay 100000
  putStrLn "State updated"
  controllerSetRedraw c

-- controllerCallback m c -- uncommenting it causes the app hang

main :: IO ()
main = do
  m <- newEmptyMVar
  animateIO
    (InWindow "Tree" (500, 650) (20, 20))
    black
    (picture m)
    (controllerCallback m)

picture :: MVar TimeSpec -> Float -> IO Picture
picture m time = do
  -- t <- takeMVar m
  t <- getTime Monotonic
  let tt = realToFrac t / 1000000000
  return $
    Rotate (sin tt) $
      Color green $
        Polygon [(30, 0), (15, 300), (-15, 300), (-30, 0)]

目前代码可运行，但controllerCallback仅执行一次；取消注释MVar相关代码后程序会挂起，在回调内尝试循环也会导致程序挂起。请问我哪里操作有误？

问题分析与解决 #

1. controllerCallback仅执行一次的原因 #

animateIO的回调函数只会在初始化时被调用一次，它的设计目的是注册控制器的交互逻辑（比如按键、窗口事件），而非做循环更新。如果直接在回调里阻塞或循环，会占用Gloss的UI主线程，导致整个界面卡死。

2. MVar导致挂起的原因 #

• MVar是同步容器，takeMVar会在容器为空时阻塞。取消注释后，picture里的takeMVar和controllerCallback里的putMVar存在时序竞争，很容易导致一方无限等待另一方，形成死锁。
• 每次takeMVar会清空MVar，如果后续没有putMVar填充，下一次takeMVar会再次阻塞。

修正后的代码方案 #

我们需要用后台线程处理状态更新，避免阻塞UI线程，同时用更适合的可变状态容器：

module Main where

import Control.Concurrent
import Control.Monad (forever)
import Data.IORef
import Graphics.Gloss
import Graphics.Gloss.Interface.IO.Animate
import System.Clock

-- 定义应用状态：用单调时间戳驱动动画
type AppState = TimeSpec

controllerCallback :: IORef AppState -> Controller -> IO ()
controllerCallback stateRef c = do
  -- 启动独立后台线程处理状态更新，不阻塞UI主线程
  forkIO $ forever $ do
    t <- getTime Monotonic
    writeIORef stateRef t
    threadDelay 100000  -- 模拟状态更新间隔，可按需调整
    putStrLn "State updated"
    controllerSetRedraw c  -- 状态更新后立即触发重绘

picture :: IORef AppState -> Float -> IO Picture
picture stateRef _ = do
  t <- readIORef stateRef
  let tt = realToFrac t / 1000000000
  return $
    Rotate (sin tt * 90) $  -- 放大旋转幅度增强视觉效果
      Color green $
        Polygon [(30, 0), (15, 300), (-15, 300), (-30, 0)]

main :: IO ()
main = do
  initialState <- getTime Monotonic
  stateRef <- newIORef initialState
  animateIO
    (InWindow "Tree" (500, 650) (20, 20))
    black
    (picture stateRef)
    (controllerCallback stateRef)

关键改进点 #

• 用IORef替代MVar：IORef适合频繁读写的可变状态，无需同步等待，彻底避免死锁。
• 后台线程处理循环：通过forkIO启动独立线程运行forever循环，状态更新逻辑不会阻塞Gloss的UI主线程。
• 按需触发重绘：每次状态更新后调用controllerSetRedraw，Gloss会立即执行picture函数重绘画面，实现无预设FPS的动态更新。
• 自定义时间驱动：不再依赖animateIO传入的时间参数，用系统单调时间戳驱动动画，更准确且不受绘图帧率影响。

额外说明 #

如果需要完全由外部事件触发的状态更新（而非定时），只需把threadDelay替换成对应的事件等待逻辑（比如监听消息队列、外部输入等），只要在状态变化后调用controllerSetRedraw，就能实现状态更新后的立即重绘。

内容的提问来源于stack exchange，提问作者Andrey