[問題] Lazy Evaluation?

[slyfox (klanloss)]

剛剛在練習寫 Haskell 時，遇到個小問題，一時不解上來發問。

我想寫一個 function 用來讀 stdin 直到讀到特定的字元

成功版:
getCharUntil :: Char -> IO [Char]
getCharUntil c  =  do x <- getChar
                      if x == c then return  []
                                else do xs <- getCharUntil c
                                        return $ x : xs

失敗版:
sequenceWhile :: Monad m => (a -> Bool) -> [m a] -> m [a]
sequenceWhile f ms = sequence ms >>= return . takeWhile f

getCharUntil' c  = sequenceWhile (/=c) $ repeat getChar


失敗版會一直讀不停
Lazy evaluation 很耐死的，一定是有什麼誤會…

感謝

--
※ 發信站: 批踢踢實業坊(ptt.cc) 
◆ From: 71.202.208.114
推 godfat:因為 sequence 吧？
推 ccshan:失敗版的意思是：先讀無窮多個字元，再取其開頭部份。
→ slyfox:啊! 所以 >>= 是兇手!!
→ slyfox:想起來 sequence 是用 foldr 實做的了 難怪!
推 Favonia:>>= 應該不會強迫左邊算到底，所以應該是無辜的 xD
→ slyfox:那我還是不理解。。。
推 Favonia:我的意思是說只有 >>= 並不妨礙，可能你的理解是正確的 xD
→ slyfox:但在此例 sequence 被 >>= 規定要"算到底"吧?
推 Favonia:>>= 只需要判斷左邊沒有 fail 即可，但 sequence 要如何決
→ Favonia:定有沒有 fail? 只能全部看過一次！只要有個 fail 就會全
→ Favonia:部 fail. 然後 sequence 為了應付 >>= 也只需要檢查有沒有
→ Favonia:fail 就好，不需要「算到底」。除非用 deepseq 之類的東西
→ Favonia:惡搞否則很難算到底...
→ Favonia:上面的理解有個作弊的地方，就是我假設 sequenceWhile 要
→ Favonia:算到至少 Weak head normal form. 實際上得從 main 開始
→ Favonia:逆推才知道什麼是非算不可的...
→ godfat:請不要推文超過三行...