困惑：Haskell IO懶惰

Question

我在理解Haskell懶惰評估時遇到困難。

我寫了簡單的測試程序。它讀取4行數據，並且 第二和第四輸入行有很多數字。

consumeList :: [Int] -> [Int] -> [Int] 
consumeList [] _ = error "hi" -- to generate heap debug 
consumeList (x:xs) y = consumeList xs y 
main = do 
    inputdata <- getContents 
    let (x:y:z:k:xs) = lines inputdata 
     s = map (read ::String->Int) $ words $ k 
     t = [] 
    print $ consumeList s t 

words和map上的字符流執行 懶惰地，該程序使用常數存儲器。

但是，當我添加論據t，情況發生了變化。 我的期望是因爲t是map和words懶惰流， 和t不consumeList使用，這種變化應該不會改變 內存使用情況。但不是。

consumeList :: [Int] -> [Int] -> [Int] 
consumeList [] _ = error "hi" -- to generate heap debug 
consumeList (x:xs) y = consumeList xs y 
main = do 
    inputdata <- getContents 
    let (x:y:z:k:xs) = lines inputdata 
     s = map (read ::String->Int) $ words $ k 
     t = map (read ::String->Int) $ words $ y 
    print $ consumeList s t -- <-- t is not used 

Q1）爲什麼這個計劃一直在t完全不使用的內存分配？

我還有一個問題。當我與[,]模式匹配延遲流，而不是 與(:)內存分配行爲已更改。

consumeList :: [Int] -> [Int] -> [Int] 
consumeList [] _ = error "hi" -- to generate heap debug 
consumeList (x:xs) y = consumeList xs y 
main = do 
    inputdata <- getContents 
    let [x,y,z,k] = lines inputdata -- <---- changed from (x:y:..) 
     s = map (read ::String->Int) $ words $ k 
     t = [] 
    print $ consumeList s t 

Q2）是(:)和懶惰evalutation方面[,]不同？

歡迎任何評論。感謝

[編輯]

Q3）然後，是否有可能處理第四行第一和 處理第二行，而無需增加內存消耗？

Derek指導的實驗如下。 從第二個例子開關Y，K的，我得到了相同的結果：

consumeList :: [Int] -> [Int] -> [Int] 
consumeList [] _ = error "hi" 
consumeList (x:xs) y = consumeList xs y 
main = do 
    inputdata <- getContents 
    let (x:y:z:k:xs) = lines inputdata 
     s = map (read ::String->Int) $ words $ y -- <- swap with k 
     t = map (read ::String->Int) $ words $ k -- <- swap with y 
    print $ consumeList s t 

Answer 1

要回答你的第一個問題，t，直到你達到終點就住因爲垃圾收集關注consumeList。這並不是什麼大不了的事情，因爲t會是一個指向工作的熱門話題，但問題在於，現在這個問題是：現在保持y活着，而getContents必須在y中實際讀取到k。在你的第一個例子中，y在讀入時可能被垃圾收集。（作爲一個實驗，如果你在本例中切換了y和k，我懷疑你會看到與第一個例子非常相似的行爲。）

對於第二個問題，let [x,y,z,k] = ...的意思是「（無可辯駁地）匹配的列表，正好是四個元素」。這意味着當你強制k它需要（在這一點上）檢查沒有更多的元素，這意味着它需要讀取對應於k的所有輸入，然後才能開始處理它。在之前的情況下，let (x:y:z:k:xs) = ...它可以立即開始處理k，因爲它不必首先檢查xs是否爲[]或(_:_)。