列表中的哈斯克爾錯誤

Question

我不知道我的代碼出了什麼問題，我只想得到一個列表並正確填充它，並返回該列表作爲該函數的結果。你能幫我解決這個問題嗎？

fill [] counter= [] 
fill (x:xs) counter= do 
        (if x==0 
        then do 
         let new =counter+1 
         new:xs 
         fill xs new 
        else 
         fill xs counter) 

我想非重複的數字

main = do 
fill [9,0,9,0,0,0] 0 -- expexted to get [9,1,9,2,3,4] 

Answer 1

你正在寫的Haskell，就好像它是一個命令式語言，以填補零。 do塊中的第二個表達式new:xs完全沒有做任何事情。

的做塊之後then

do 
    let new =counter+1 
    new:xs 
    fill xs new 

因爲do S和let 5事實上轉化爲lambda表達式：

let x = a 
b x 

成爲

(\x -> b x)(a) 

，你do塊轉換爲：

(\new -> (\discarded -> fill xs new)(new:xs)) (counter + 1) 

和new:xs被丟棄在中間。

符號只有在處理單子時纔有用。否則，它會導致誤導性代碼。

參見：

• https://en.wikibooks.org/wiki/Haskell/do_Notation
• http://www.haskell.org/haskellwiki/Do_notation_considered_harmful

Answer 2

我們可以稍微修改原始版本：

fillZero' (z:zs) y'@(y:ys) = 
     if z == 0 
     then y : fillZero' zs ys 
     else z : fillZero' zs y' 
fillZero' _ _ = [] 

及用途：

fillZero = flip fillZero' [1..] 

> fillZero [0,305,0,0,0,8,0,0] 
[1,305,2,3,4,8,5,6]