Сэмплирование MVar, могу ли я избежать небезопасногоPerformIO?

Question

У меня есть

sample :: MVar a -> IO [a] 
sample v = do 
    a <- takeMVar v 
    pure (a:unsafePerformIO (sample v)) 

, который, как представляется, является законным использование unsafePerformIO мне. Но мне очень интересно знать, как этого избежать! Есть ли образец для этого использования уже?

Answer 1

Вы можете реализовать подобную функцию, используя нить, Chan и getChanContents:

sample :: MVar a -> IO [a] 
sample v = do 
    c <- newChan 
    forkIO $ forever $ takeMVar v >>= writeChan c 
    getChanContents c 

Нить/getChanContents подход немного лучше, так как по крайней мере, вы можете рассчитывать на MVar непрерывно принимаются. Вместо этого подход unsafePerformIO будет запускаться takeMVar в непрогнозируемых точках, что делает блокировку putMVar так же непредсказуемым образом. Разумеется, подход getChanContents будет буферизовать все данные, возможно, потребует больше памяти.

Однако оба подхода по существу похожи на ленивый IO, чего лучше всего избегать, на мой взгляд.