Unterschied in der getLine-Funktionalität mit GHCi vs. runhaskell

Question

Ich bin gerade über etwas gestolpert, das ich nicht verstehe.

Wenn ich mit GHCi bin und verwenden getLine ich folgendes erhalten

Prelude> a <- getLine 
Test<Backspace>oo<CR> -- the Backspace action results in a '^?' 
Prelude> a 
"Test\DELoo" 

Wenn ich die gleichen in einer Haskell-Datei

module Main where 

main :: IO() 
main = do a <- getLine 
      putStrLn a 

schreiben und führen Sie das Skript mit runhaskell und geben Sie die gleiche Eingabe, die Rücktaste löscht das 't' wie erwartet.

Warum gibt es einen Unterschied?

Answer 1

Dies ist auf das unterschiedliche Pufferverhalten in GHCi und GHC zurückzuführen. GHCi hat stdin (Standard-Eingabestream) standardmäßig NoBuffering und GHC-kompilierte Binärdateien/runhaskell verwenden LineBuffering standardmäßig. Wenn Sie das in Ihrem Haskell-Programm explizit tun:

können Sie das GHCi-Verhalten reproduzieren. Wenn Sie

tun

hSetBuffering stdin LineBuffering 

in GHCi, werden Sie viele unerwünschte Nebenwirkungen haben, kann aber die runhaskell Verhalten reproduzieren.