Haskell中「Error C stack overflow」的原因通常爲

Question

Hugs Haskell實現中「Error C stack overflow」的常見原因是什麼？

Answer 1

如果您習慣於使用尾遞歸因式分解的函數式語言，這可能會出現。假設你有一個函數：

sum = go 0 
    where 
    go accum [] = accum 
    go accum (x:xs) = go (accum+x) xs 

，順便說一下，是一樣的

sum = foldl (+) 0 

如果我們評估的功能，我們可以看到這個問題：

sum [1,2,3,4] 
go 0 [1,2,3,4] 
go (0+1) [2,3,4] 
go ((0+1)+2) [3,4] 
go (((0+1)+2)+3) [4] 
go ((((0+1)+2)+3)+4) [] 
(((0+1)+2)+3)+4 

現在，以評估表達式Haskell使用堆棧：

EXPR   | STACK 
(((0+1)+2)+3)+4 | 
((0+1)+2)+3  | +4 
(0+1)+2   | +3 +4 
(0+1)   | +2 +3 +4 
1    | +2 +3 +4 
3    | +3 +4 
6    | +4 
10    | 

和這個是可能發生溢出的地方。如果您評估了總和[1..10^6]，那麼該堆棧將會有一百萬個條目。

但請注意這裏的病理。您只是爲了建立一個巨大的fscking表達式（「thunk」）而遞歸列表，然後使用堆棧來評估它。我們寧願評估它，因爲我們遞歸，通過使尾遞歸嚴格：

sum = go 0 
    where 
    go accum [] = accum 
    go accum (x:xs) = accum `seq` go (accum+x) xs 

，上面寫着試圖評估遞歸調用之前評估ACCUM，所以我們得到（這可能需要一定的耐心來了解） ：

sum [1,2,3,4] 
go 0 [1,2,3,4] 
let accum = 0 in accum `seq` go (accum+1) [2,3,4] 
go (0+1) [2,3,4] 
let accum = 0+1 in accum `seq` go (accum+2) [3,4] 
go (1+2) [3,4] 
let accum = 1+2 in accum `seq` go (accum+3) [4] 
go (3+3) [4] 
let accum = 3+3 in accum `seq` go (accum+4) [] 
go (6+4) [] 
6+4 
10 

因此，當我們遍歷列表時，我們計算總和，所以我們不必使用深棧來評估結果。這種改進的尾遞歸模式被封裝在Data.List.foldl」，所以：

sum = foldl' (+) 0 

一個好的經驗法則是從不使用與foldl，因爲它總是建立起巨大的thunk。改用foldl'。如果輸出類型具有延遲結構（例如列表或函數），請使用foldr。但是一般來說，避免堆棧溢出沒有銀彈，你只需瞭解你的程序的評估行爲。有時候這可能很難。但是，如果我理解正確，堆棧溢出總是來自嘗試評估一個巨大的thunk，但是。因此，尋找那些可以創建這些地方的地方，並迫使評估更早發生。

Answer 2

失控遞歸是最有可能的候選人......您需要提供更多信息，以獲得更準確的答案。

Answer 3

下面是一些代碼，可能導致失控的遞歸：

main = 
    let x = x :: Int 
    in print x 

這裏會發生什麼事是，當x在print x評估它啓動，然後發現，要完成它需要評估x的評價。

Answer 4

最可能的原因必須是不受控制的遞歸。每次遞歸調用都會爲其輸入/輸出參數消耗更多的堆棧空間。