Haskell类型匹配错误修复：IO与[]不匹配及循环输入问题

错误原因分析 #

核心问题是把IO操作塞进了纯函数里：你声明removeStrengthFromDieRoll返回纯列表[Int]，但在else分支里调用了askStrength（返回IO Int），还套了do块——Haskell中纯函数里的do默认对应列表Monad，和IO Monad完全不兼容，因此编译器报出IO与[]类型不匹配的错误。

修复步骤 #

1. 修正函数类型：涉及IO循环的函数必须返回IO [Int]，因为输入输出操作只能在IO上下文里执行。
2. 调整do块逻辑：把循环逻辑完全移到IO Monad中，纯操作（比如delete）需要用return包裹回到IO上下文。
3. 修正递归调用：递归时传递读取到的新值，而非函数本身；无用的字符串字面量要改成putStrLn输出提示。
4. 简化类型标注：askStrength里的readLn不需要显式标注类型，推导系统能自动识别。

修复后的完整代码：

import Data.List (delete)

main :: IO ()
main = do
  let initialDieRoll = [23,45,98,34]
  dieRollWithoutStrength <- removeStrengthFromDieRollLoop initialDieRoll
  print dieRollWithoutStrength

-- 直接接收初始列表，内部处理循环输入逻辑
removeStrengthFromDieRollLoop :: [Int] -> IO [Int]
removeStrengthFromDieRollLoop dieRoll = do
  strength <- askStrength
  if strength `elem` dieRoll
    then return $ delete strength dieRoll
    else do
      putStrLn "Please, choose an element from the initial die roll"
      removeStrengthFromDieRollLoop dieRoll

askStrength :: IO Int
askStrength = do
  putStr "Strength : "
  readLn

最优实现方案 #

对于"重复操作直到满足条件"的场景，新手优先掌握递归IO函数（逻辑直观，容易理解IO Monad的运作）。如果想简化代码，可以借助Control.Monad.Loops中的untilM函数：

import Data.List (delete)
import Control.Monad.Loops (untilM)

main :: IO ()
main = do
  let initialDieRoll = [23,45,98,34]
  -- 重复读取直到输入在列表中
  strength <- untilM askStrength (\s -> return $ s `elem` initialDieRoll)
  let dieRollWithoutStrength = delete strength initialDieRoll
  print dieRollWithoutStrength

askStrength :: IO Int
askStrength = do
  putStr "Strength : "
  s <- readLn
  if s `elem` [23,45,98,34]
    then return s
    else do
      putStrLn "Invalid input, try again"
      askStrength

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