當HTTP客戶端斷開連接(或其他現實世界發生)時無法弄清楚如何清理。我試圖把我的Source換成addCleanup,但它沒有被調用。 這裏是我的infinte來源串流字節串的小例子: {-# LANGUAGE OverloadedStrings #-}
module Main where
import Network.Wai
import Network.HTTP.Types
imp
我希望看到的來源具有不確定性的交織處理,具有類型簽名像 interleave :: WhateverIOMonadClassItWouldWant m => [(k, Source m a)] -> Source m (k, a)
用例是,我已經有一個維護對很多節點開放連接P2P應用網絡,它主要是坐在等待來自其中的任何消息。當消息到達時,它不關心它來自哪裏,但需要儘快處理消息。理論上這種應用(