haskell-ja > Archives > 2012/02/13

2012/02/13 08:42:04 UTC[1..100]>>=pen
#
readFileを使ったコードの方の動き納得しました。writeFile が動くには getData が完了しなければいけない。getData は子孫も含め readFile が完了しなければいけない。readFile は read は遅延されるけれど open は完了しないといけない。非zが指示されると open はされるが read はまだ始まらない。zが指示されて getData が完了して writeFile が動きだし read も並行して動き出す。