问Haskell线程通信模式场景

EN

你有两个线程，a和b。线程a在永远循环中，监听阻塞套接字1。线程b也在永远循环中，监听阻塞套接字2。套接字1和套接字2都可能在任意时间返回数据，因此线程a可能永远处于休眠状态，等待数据，而线程b不断从套接字获取数据并继续处理。这就是背景。

现在假设他们需要共享一个字典。当线程a获得一些数据(如果有的话)时，它会在经过一些处理后将一个键值对添加到字典中，然后继续等待更多的数据。当线程b从其套接字接收数据时，它首先查询字典，以查看是否存在与其在继续处理之前接收的数据相关的信息。没有删除字典，只有插入和查询(如果这对最终解决方案有影响，我会很感兴趣)。

在像python或c这样的标准命令式语言中，这很容易做到，只需使字典在两个作用域中都可用，并且只在线程获得锁之后才查询它，所以线程B总是能看到最新的(几乎是)最新的字典。

在Haskell中，我似乎很难想出一个好的模式实现。MVars，一次只能有一项，所以它不可能是线程a放入字典中的，因为可能会发生新的更新，并且在线程b从MVar获取新字典之前，它将无法推送新字典。另一方面，如果线程b使用MVar发送就绪信号"ok!“对于线程a，可能是线程a在其读套接字上休眠，因此它将无法发送回数据，直到其读套接字解锁！也有通道，但这看起来很混乱，因为我必须不断发送新的字典，而线程B将丢弃除最后一个之外的所有字典。

另一种可行的解决方案是简单地将更新发送到通道，并让线程B为自己构造字典。然而，我想知道是否有更好的替代解决方案。

感谢您花时间阅读这个很长的问题！