Haskell中如何持续重试IO操作直至获取有效整数输入？

我明白你遇到的困扰了——你原本期望程序在输入非数字时自动重新提示，但实际运行时却直接抛出了解析错误。咱们一步步拆解问题并修复它。

问题根源 #

你的代码逻辑方向是对的，但有个关键细节容易被忽略：read是纯函数，它抛出的是纯计算异常。虽然理论上在IO上下文执行时这类异常会被handle捕获，但在某些场景或旧版GHC环境中，纯异常的捕获稳定性不如专门的IO读取函数。更地道的Haskell写法是使用readIO，它会把read的解析异常明确转换为IO异常，确保能被Control.Exception的函数可靠捕获。

修复后的代码 #

只需要修改readParse部分，用readIO替代fmap read即可：

import Control.Exception
import System.IO

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

getInt :: IO Int
getInt = handle recoverError readParse
    where
        recoverError :: SomeException -> IO Int
        recoverError _ = getInt
        -- 用readIO替代fmap read，将纯异常转为IO异常，确保捕获逻辑生效
        readParse = prompt ">> " >>= readIO

main :: IO ()
main = fmap show getInt >>= putStrLn

为什么这样能解决问题？ #

• readIO的类型是Read a => String -> IO a，它专门为IO上下文设计，会把read的解析失败包装成标准IO异常，让handle能稳定捕获到异常并触发递归重新输入的逻辑。
• 你原代码里的fmap read $ prompt ">> "等价于prompt ">> " >>= return . read，虽然多数情况下也能工作，但readIO的行为更明确一致，避免了纯异常在IO上下文里的潜在不确定性。

测试验证 #

编译运行修复后的代码：

1. 输入非数字（比如abc），程序会重新显示>> 提示你输入；
2. 输入有效整数（比如123），程序会输出这个数字并正常退出。

这样就完美实现了你想要的“持续请求输入直到得到有效值”的功能。

内容的提问来源于stack exchange，提问作者L. Catallo