Haskell的IO遞歸

我的代碼：Haskell的IO遞歸

read :: IO [Line] 
read = do 
    line <- getLine 
    let count = length line 
    line2 <- getLine 
    if (length line2 /= count) 
    then error "too long or too short" 
    else read

我想要做的是，根據用戶需要輸入長度爲1的多個行的第一行的長度，也如果任何這些線不具有相同的長度作爲原線，將顯示一個錯誤消息。

現在我的代碼僅僅是一個無限循環，因爲我不能完全弄清楚如何輸入長度-1多行。對此的一些指導將不勝感激。

編輯：行是String類型

來源

2012-03-12 gdrules

的原因，你的代碼是一個無限循環，是因爲你允許它停止的唯一方法是與錯誤。否則，它將一直跟隨if語句的另一個分支並一次又一次地遞歸。 – 2012-03-12 18:23:09

您可以使用replicateM複製的動作設定的次數和收集的結果。在你的情況下，行動是抓住一條線，測試它的長度，如果它是無效的錯誤。所以，你可以使用像下面這樣來完成你的工作：

import Control.Monad (replicateM) 

read :: IO [Line] 
read = do 
    line <- getLine 
    let count = length line 
    lines <- replicateM (count-1) $ do 
    line <- getLine 
    if length line /= count 
    then fail "too long or too short" 
    else return line 
    return $ line : lines

來源

2012-03-12 08:31:51

謝謝！ ReplicateM看起來不錯，但似乎停止在必要的時候它不（它將會在計數1極限！） – gdrules 2012-03-12 08:53:34

replicateM完美的作品，如果有問題，它可能在你的代碼的其餘部分。當標準的簡單代碼似乎完全失敗時，這是合理的地位：不要責怪標準函數和在自己的代碼中尋找錯誤。如果您仍然無法找到您的錯誤，請將代碼展示給一些經驗豐富的Haskeller，在此處或#haskell。如果他們仍然無法找到錯誤，現在該開始懷疑標準庫了。 – Jedai 2012-03-12 09:16:38

我猜，只是上面的代碼看起來好像沒什麼問題，我會繼續調整它，看看我能找到一個解決...謝謝 – gdrules 2012-03-12 09:56:13

Haskell的IO遞歸

回答

相關問題