Haskell：行単位でファイルを読む

Question

最近、私はWaterloo CCCをやりました。私はHaskellがこれらのタイプの質問に答えるのに最適な言語だと感じます。私はまだそれを学んでいます。私は入力と少し苦労しています。ここで

は、私が使用しているものです：あなたが見ることができるように、このプログラムは j1.hsと呼ばれるにコンパイルされている場合、私は、コマンドライン指定したファイルパスから、あるいは例えば j1.inから読んでいる

import IO 
import System.Environment 
import System.FilePath 

… 

main = do 
    name <- getProgName 
    args <- getArgs 
    input <- readFile $ 
     if not (null args) 
      then head args 
      else dropExtension name ++ ".in" 
    let (k:code:_) = lines input 
    putStrLn $ decode (read k) code 

j1。

私はファイルの最初の2行だけに興味があるので、パターンマッチングを使用してこれらの行を取得し、kとcodeにバインドしました。そして私は整数としてkを読んで、私が出力する私のdecode関数にコード文字列を渡します。

readFileがファイル全体をメモリにロードしているかどうかは不思議ですが、それは問題になります。しかし、私は考え始めました。おそらくハスケルは怠惰なので、最初の2行を読むのはそれだけです。後でそれが求められるからです。私は正しい？

また、そのコードサンプルで、よりよくまたはもっと慣用的なものがあれば教えてください。

Answer 1

documentation for readFileは言う：

readFile関数は、ファイルを読み込み、ファイルの内容を文字列として返します。ファイルは、getContentsのように、必要に応じて遅延読み込みされます。

だから、ファイルの最初の2行だけを読む必要があります（バッファリングとは、おそらく舞台裏でもっと読むでしょう）。しかし、これは特にreadFileのプロパティであり、一般的なHaskell入出力関数のすべてではありません。

レイジーI/OはI/O重いプログラム（ウェブサーバーなど）にとっては悪い考えですが、多くのI/Oを実行しない単純なプログラムではうまく動作します。

Answer 2

はい、readFileは遅延です。明示したい場合は、次のように使用します。

import Control.Monad (replicateM) 
import System.IO 

readLines n f = withFile f ReadMode $ replicateM n . hGetLine 

-- in main 
    (k:code:_) <- readLines 2 filename 

これにより、ファイルができるだけ早く閉じられるようになります。

しかし、あなたがやったやり方はうまくいきます。

Answer 3

readFileは、ファイルを遅延読み込みするので、ファイル全体を使用しない限り、ファイル全体をメモリに読み込むことはありません。最初の2行はブロック単位で読み込まれるため、通常は正確には読み込まれませんが、2行目の改行を見つけるために必要なだけ多くのブロックが読み込まれます。

Answer 4

ハスケルのI/Oは、通常は怠惰ではありません。しかし、readFileの機能は、具体的にははです。

他は同じことを言っています。まだ誰も指摘していないことは、開いたファイルが、プログラムが終了するかガベージコレクタが実行されるまで閉じられないということです。つまり、OSファイルハンドルが必要以上に長く開いている可能性があります。あなたのプログラムではおそらく大したことではありません。しかし、より複雑なプロジェクトでは、それは可能性があります。