Haskell正整数列表输入验证求助：非预期输入致程序终止

你的代码崩溃的核心原因是**read函数无法处理解析失败的情况**：当输入无法被解析为[Double]格式时（比如包含字符的列表、未用方括号包裹的单个值），read会直接抛出Prelude.read: no parse异常，导致程序终止，根本没机会进入错误提示并重试的逻辑。只有当输入能成功解析为[Double]时，才会执行后续的非空和正数检查，所以负数列表、空列表能正常触发错误分支，但解析失败的情况直接炸了。

使用Text.Read模块的readMaybe函数来安全解析输入——它会在解析失败时返回Nothing，成功时返回Just 解析结果，不会抛出异常。这样我们就能统一处理所有错误场景：格式错误、空列表、包含非正数。

修正后的代码（贴合正整数需求） #

import Text.Read (readMaybe)

main :: IO()
main = do  
  putStrLn "\nType a list of positive integers enclosed in square brackets and separated by commas:"
  list <- readIntList
  putStrLn "\nList:"
  print list

readIntList :: IO [Int]
readIntList = do
  input <- getLine
  -- 尝试解析输入为整数列表，失败则返回Nothing
  case readMaybe input :: Maybe [Int] of
    Nothing -> do
      putStrLn "\nInvalid input, type again:"
      readIntList
    Just list ->
      -- 检查列表非空且所有元素为正整数
      if not (null list) && all (> 0) list
        then return list
        else do
          putStrLn "\nInvalid input, type again:"
          readIntList

关键修改说明 #

1. 导入readMaybe：替代不安全的read，避免解析失败时抛出异常。
2. 统一错误处理：
   • 若解析返回Nothing，直接判定为格式错误（比如[1, 'a']、5这类输入），提示并重试。
   • 若解析成功，再检查列表是否非空、所有元素是否为正，不符合则提示并重试。
3. 改用Int类型：原问题要求读取正整数，用Int比Double更贴合需求，避免浮点数的精度问题。

如果坚持使用Double，只需要把代码里的[Int]改成[Double]即可，逻辑完全一致。

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