Haskell中Python input()等价实现及IO输出顺序异常原因求解

首先纠正一个常见误解：Haskell的do块对于IO操作是严格按照书写顺序执行的，你遇到的问题和惰性求值或者函数式核心特性没有直接关系，核心是标准输出的缓冲机制：

• Haskell默认给标准输出（stdout）设置的是行缓冲模式：输出内容会先暂存在内存缓冲区，只有遇到换行符、缓冲区满、或者手动刷新缓冲区的时候，才会真正把内容打印到终端
• 你代码里用putStr "Enter Point :"输出的内容末尾没有换行符，所以输出内容一直停留在缓冲区，没有实际展示到终端
• 接下来执行getLine会阻塞等待用户输入，你输入内容回车后，后续的appendFile、putStrLn才会执行，putStrLn输出的时候会触发缓冲区刷新，之前存的Enter Point :才和Done !一起打印出来，所以看起来顺序颠倒了。

方案1：手动刷新缓冲区 #

在putStr之后调用hFlush stdout强制把缓冲区内容输出到终端，这也是最贴合需求的实现，修改后的代码如下：

import System.IO
fileName = "data.txt"
main = do
  putStr "Enter Point :"
  hFlush stdout -- 新增这行，手动刷新标准输出缓冲区
  information <- getLine
  let final = '\n' : information
  appendFile fileName final
  putStrLn "Done !"

方案2：使用自带换行的输出函数 #

把putStr改成putStrLn，输出末尾自带换行符，会自动触发缓冲区刷新，不过提示语后面会多一个换行，输入内容会出现在提示语下一行。

方案3：修改标准输出的缓冲模式 #

在程序开头把标准输出改成无缓冲模式，后续所有输出都会直接打印到终端，不需要等待换行：

import System.IO
fileName = "data.txt"
main = do
  hSetBuffering stdout NoBuffering -- 修改标准输出为无缓冲模式
  putStr "Enter Point :"
  information <- getLine
  let final = '\n' : information
  appendFile fileName final
  putStrLn "Done !"

可以封装为如下通用函数，和Python的input行为完全一致：

import System.IO

input :: String -> IO String
input prompt = do
  putStr prompt
  hFlush stdout
  getLine

使用的时候直接调用即可：

main = do
  information <- input "Enter Point :"
  -- 后续逻辑保持不变

内容的提问来源于stack exchange，提问作者Azlan Khan