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 вызывается прежде, чем putStr "$ " даже хотя IO монадных гарантирует, что это действия, которые называются в порядке, они упорядочены в коде (или я так понимаю, что написано here). Так почему это работает неправильно?

Answer 1

На самом деле, putStr и hFlush действия является выполняется до getLine действий - однако, isEOF в настоящее время выполняется, прежде чем либо, и она не возвращается, пока он не знает, является ли вход EOF или нет, то есть , пока вы не войдете в строку. Вы могли бы рассмотреть вопрос о переходе на isEOF направо перед getLine, как это:

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