ファイルI/Oが出力を生成しないときの問題

Question

私はHaskellを学んでいるだけで、単にファイルを読み込んで、lines関数を使って行のリストを作成するコードを書こうとしています。

import System.IO 
import Control.Monad 

main = do 
     let list = [] 
     handle <- openFile "data.txt" ReadMode 
     contents <- hGetContents handle 
     let myLines = lines contents 
      list = listLines myLines 
     print list 
     hClose handle 

listLines :: [String] -> [String] 
listLines = map read 

：ここ

this is line one 
another line 
and the final line 

私はリストにこのデータを読み込み、画面にそれを印刷するために使用しようとしていますコードです：たとえば、私は次の行が含まれてい data.txtと呼ばれるファイルを持っています

結果のコードはコンパイルされますが、出力は生成されません。

私のコードに何が間違っているのか理解できる人はいますか？ありがとう。

Answer 1

お気づきのように、エラーメッセージにはreadの問題があるので、それに焦点を当てましょう。

私がコメントで述べたように、readは、あるデータ型の値の文字列表現を取り、それを解析してその値を返します。いくつかの例：

read "3.14" :: Double ≡ 3.14 :: Double 
read "'a'"  :: Char ≡ 'a'  :: Char 
read "[1,2,3]" :: [Int] ≡ [1,2,3] :: [Int] 

一部nonexamples：

read "[1,2," :: [Int] ≡ error "*** Exception: Prelude.read: no parse" 
read "abc" :: Int ≡ error "*** Exception: Prelude.read: no parse" 

あなたがreadのStringバージョン（すなわちread :: String → String）を使用しようとするとどうなりますか？

ハスケルのStringの表現（例：GHCiでStringを返すものを評価する場合）は、" ... "の引用符で囲まれた一連の文字で構成されます。もちろん、の表示を（改行のような）いくつかの特殊文字にしたい場合、そこにエスケープされたバージョン（この場合は\n）を入れなければなりません。

readは値の文字列表現を期待していると書いていますか？あなたの場合、readはと正確にはの文字列形式を想定しています。当然、最初にしようとするのはオープニングの見積もりと一致させることです。最初の行が"で始まるでないので、readはプログラムに文句を付けてクラッシュします。

read "hello" :: Stringは、read "1" :: [Int]が失敗するのと同じ方法で失敗します。 1だけでは、Intのリストとして解析できません。readは、括弧[を開始して文字列を開始すると想定しています。

---

また逆である、showの聞いたことがあるかもしれない（しかし非常に緩い意味で）readへ。目安として、readの値をxに設定すると、readの文字列表現はshow xのようになります。

---

あなたはあなたのコードがうまく動作し、次の入力生み出す

"this is line one" 
"another line" 
"and the final line" 

次へファイルの内容を変更した場合：あなたがしたくない場合は

["this is line one","another line","and the final line"] 

を.txtファイルを変更するには、list = listLines myLinesを削除し、print myLinesを削除してください。ただし、プログラムを実行すると、再度

["this is line one","another line","and the final line"] 

が返されます。だから何が問題なの？

print = putStrLn ∘ showとshowのデフォルトの動作それは何か（一部aため、すなわち[a]; Charを除いては、特別な治療を受ける）のリストをINGのshowに来る文字列[ firstElement , secondElement ... lastElement ]を生成することです。ご覧のとおり、[ ... ]を避けたい場合は、[String]をまとめてマージする必要があります。

linesの逆数であるunlinesという素晴らしい機能があります。また、printは最初にshowと呼ばれますが、この場合は望んでいません。だから私たちはputStrLnを使用しています。最終バージョン：我々はまた、不要なlines ~ unlinesだけputStrLn contentsを取り除くことができ

main = do 
    handle <- openFile "data.txt" ReadMode 
    contents <- hGetContents handle 
    let myLines = lines contents 
    putStrLn (unlines myLines) 
    hClose handle 

。

Answer 2

hGetContents handleは、ハンドルの内容を文字列に読み込みます。この文字列を行のリストに変換するためには、実際には改行で分割する必要があります。あなたはreadに対処する必要はありません - とにかく文字列がほしいだけです。だから、lines :: String -> [String]が必要です。さらに、あなたのコードは、それを読み込む前にlistを「初期化」することによって、あなたが「必然的に考えている」ことを示しているようです。

main = do 
    handle <- openFile "data.txt" ReadMode 
    contents <- hGetContents handle 
    let list = lines contents 
    print list 
    hClose handle 

あなたのプログラムを簡単にする方法はいくつかあります。実際に他のもののためにファイルへのハンドルが必要ない場合は、単にreadFile :: FilePath -> IO Stringを呼び出すだけで、ファイル内のすべてのテキストを簡単に取得できます。あなたが実際の名前にバインドされたlistを必要としない場合、あなたはここで何が起こるかおさらいするに

main = do 
    contents <- readFile "data.txt" 
    print (lines contents) 

にあなたのプログラムを削減するだけでなくその取り除くことができます：「data.txtを」が読み込まれ、その全体コンテンツはcontents :: Stringとして利用可能です。この文字列を各行に1つずつ、つまり正確にはlines contentsの文字列のリストに変換します。