kolejność wykonywania Haskell IO

Question

Mam następujący kod:

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 

Kiedy skompilować i uruchomić ten kod, to wyświetla kursor na początku pustej linii i dopiero po I hit [Enter] go wyprowadza $ i cokolwiek napisałem.

Wydaje się, że getLine jest wywoływana przed putStr "$ " nawet tych IO gwarancji monady, że to działania są nazywane w kolejności są one sekwencjonowanym w kodzie (przynajmniej tak mi zrozumieć, co jest napisane here). Dlaczego więc nie działa poprawnie?

Answer 1

Faktycznie, putStr i hFlush działania są wykonywane przed akcja getLine - jednak isEOF jest wykonywany przed albo i nie powróci, dopóki nie wie, czy wejście jest EOF czy nie, to jest , dopóki nie wprowadzisz linii. Można rozważyć przeniesienie isEOF do prawej strony przed getLine, tak:

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