如何使Haskell中的特定IO操作执行严格求值？

你的问题本质是标准输出的行缓冲机制导致的：Haskell默认会缓冲putStr的输出，因为输出内容没有换行符，缓冲区不会自动刷新，直到getLine执行后才会显示提示文本。你尝试的deepseq和$!都是针对纯函数的严格求值手段，对IO动作的执行时机和缓冲区刷新没有作用。

下面是两种有效的解决方式：

方法一：强制刷新输出缓冲区 #

导入System.IO模块，使用hFlush stdout手动刷新缓冲区，确保提示文本立即输出：

import System.IO

echoWithPrompt :: IO ()
echoWithPrompt = do
  putStr "input: "
  hFlush stdout  -- 强制把缓冲区内容输出到终端
  echo <- getLine
  putStrLn echo

main :: IO ()
main = echoWithPrompt

方法二：关闭标准输出的缓冲 #

如果程序中有多处类似的即时输出需求，可以直接关闭标准输出的缓冲，这样所有输出都会立即显示：

import System.IO

main :: IO ()
main = do
  hSetBuffering stdout NoBuffering  -- 关闭行缓冲
  echoWithPrompt

echoWithPrompt :: IO ()
echoWithPrompt = do
  putStr "input: "
  echo <- getLine
  putStrLn echo

注意：关闭缓冲可能会对大量小输出的程序性能有轻微影响，但对于简单的输入提示场景完全没问题。

内容的提问来源于stack exchange，提问作者Patrick Losique