动作中无可辩驳的模式？

Question

在我的应用程序中，多个线程修改相同的数据。虽然在“正常”情况下总会有一条消息，但我发现在处理大量数据时，可能会发生另一个线程更快并在loopAction 运行之前删除messages。

transMit :: Socket -> POSIXTime -> String -> TPSQ -> TMap -> IO ()
transMit s time newmsgs q m = do
     loopAction <- atomically $ do
                       mT <- readTVar m
                       qT <- readTVar q
                       let mT' = Map.delete key mT
                       let qT' = PSQ.delete key qT
                       writeTVar q (PSQ.insert key time qT')
                       writeTVar m (Map.insert key [newmsgs] mT')
                       return (let Just messages = Map.lookup key mT in sendq s (B.pack $ unwords messages) "192.168.35.84" 4711)
     loopAction

我在这里尝试了一个 case 表达式，例如

case (Map.lookup key MT) of
                           Nothing -> return ()
                           _ -> something w IO

但它当然不起作用，因为一个返回（）而另一个分支返回 IO（）等。我最好的解决方法是什么？

Answer 1

这应该可以修复类型错误：

return $ case Map.lookup key mT of
              Nothing -> return ()
              Just messages -> sendq s (B.pack $ unwords messages) "192.168.35.84" 4711

这样，两个分支都会产生一个IO ()，从而产生一个STM (IO ()) 整体。

但我不确定在价值观方面发生了什么。 mT 肯定不能被其他线程修改...