HaskellのIOの実行順序

Question

私は、次のコードを持っている：

import Control.Monad (unless) 
import System.IO (isEOF, hFlush, stdout) 

main :: IO() 
main = unlessFinished $ do 
     putStr "$ " 
     hFlush stdout 
     getLine >>= putStrLn 
     main 
    where 
    unlessFinished action = isEOF >>= flip unless action 

私はこのコードをコンパイルして実行すると、それは空白行の初めにカーソルを表示し、私がヒットした後にのみ、それを[Enter]を$と私が書いたものを出力します。

getLineがさえ、それの行為は、彼らはコード内で配列を決定している（またはので、私はhere書かれているかを理解）の順序で呼び出されていることIOモナドを保証してもputStr "$ "前に呼び出されることと思われます。なぜそれが正しく動作しないのですか？実際

Answer 1

、putStrとhFlushアクションがgetLineアクションの前に実行されてている - しかし、isEOFはどちらかの前に実行されている、そしてそれは入力がEOFであるかどうかを知るまで、それは戻らない、つまりあなたが行を入力するまで。あなたはこのように、getLine前に右にisEOFを動かす考えるかもしれない：

main :: IO() 
main = do 
    putStr "$ " 
    hFlush stdout 
    unlessFinished $ do 
     getLine >>= putStrLn 
     main 
    where 
    unlessFinished action = isEOF >>= flip unless action