HaskellのIO再帰

Question

私はコードを持っている：私は何をしたいか

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型

Answer 1

あなたは結果をアクションに設定された回数を複製し、収集するために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