如何在haskell中为基于时间的事件建模？

Question

我正在haskell中构建一个队列多路复用器，部分是为了学习，部分是为了替代一些狡猾的shell脚本。

它的作用是定期连接到每个队列（我们正在使用rabbitmq）来测量队列深度。 如果主系统当前正在从队列中消耗并且该队列有消息，那么我们什么都不做。 如果连接的队列为空，我们切换到其上包含最多消息的队列。 如果所有队列都是空的，我们什么都不做。 到现在为止还挺好。

我还需要一个基于时间的切换，这样如果主应用程序已连接到队列超过1小时且队列为空，则即使所有其他队列都为空，也要切换。

我想我想要定期发出事件的东西会触发下一个行为循环，例如每分钟“检查”事件和每小时“时间切换”事件。

是否有一种惯用的方法来模拟haskell中基于时间的事件？

Answer 1

如果我理解正确，这听起来像是Control.Concurrent的工作。 您使用的部件将是forkIO用于生成haskell的轻量级线程之一来处理定时循环，以及Chan用于接收定时信号。

import Control.Concurrent
import Control.Concurrent.Chan
import Control.Monad (forever)

main = do
  -- channel to receive messages from the timing thread
  chan <- newChan :: IO (Chan String)

  -- spawn a new thread to send periodic signals
  forkIO $ forever $ do
    writeChan chan "hi!"
    threadDelay $ 1 * 1000 * 1000 -- delay in microseconds

  -- in the main thread, listen for messages from the chan.
  forever $ readChan chan >>= print 

要扩展这一点，不要将String写入Chan ，而是可以为事件制作ADT，例如：

data Event = CheckEvent | SwitchEvent deriving Show

然后让您的监听线程根据事件类型执行不同的操作。