澄清管道庫中的流和效果

Question

管道教程已在其文檔中提到了這一點：

如果您犧牲了Effects，則會得到Haskell的純列表和惰性列表，您可以在恆定空間中使用可組合函數對其進行變換，但不會交錯效果。

如果您犧牲了Streaming功能，則會得到可組合且有效的mapM，forM和“ ListT做錯了”，但是只有先處理整個列表並將其加載到內存后，才返回單個結果。

但是， Streaming暗含交錯效果？ 在Streaming ，實際上是逐塊消耗的。 因此，雖然逐塊消費，但效果不是交錯的嗎？

Answer 1

流確實確實暗示了交錯的效果。 您引用的文字沒有其他說明。

解釋管道文檔：

• 如果您沒有效果，那么您將只剩下惰性數據結構。 它們的組合很好，但是您無法執行IO（惰性IO除外，我們正努力避免這種情況）。
• 如果確實有效果但不進行流處理，則可以進行IO，但要等到最后才能獲得結果。