Haskell技术问询：如何用守卫配合putStrLn？及代码语法错误排查

1. 如何在Haskell中使用守卫（guard）配合putStrLn #

守卫（guards）是Haskell里基于布尔条件的分支逻辑工具，和putStrLn这类IO动作结合很灵活，主要有两种常用方式：

方式一：在带守卫的函数中封装IO动作 #

你可以定义一个接收参数的函数，用守卫判断条件，每个分支直接返回IO ()类型的动作：

respondToInput :: String -> IO ()
respondToInput input
  | input == "hi" = putStrLn "Hey there!"
  | length input > 10 = putStrLn "That's a long message!"
  | otherwise = putStrLn "I don't understand that."

-- 使用示例
main = do
  putStrLn "Say something:"
  userInput <- getLine
  respondToInput userInput

方式二：在do块中结合case表达式用守卫 #

如果想在do流程里直接嵌入守卫逻辑，可以把要判断的值放进case表达式，给每个分支加上守卫：

main = do
  putStrLn "Enter your age:"
  ageStr <- getLine
  let age = read ageStr :: Int
  case age of
    _ | age < 18 -> putStrLn "You're too young for this!"
    _ | age > 60 -> putStrLn "Take it easy, senior!"
    _ -> putStrLn "Right in the sweet spot!"

2. 解决你代码中的|解析错误 #

先看你的代码问题：你直接在do块的choice <- getLine后面写|，这不符合Haskell语法——守卫不能单独出现在do语句行首，它必须依附于函数定义的模式，或者case/lambda表达式的分支。

修正后的代码方案 #

这里用case表达式包裹输入值是最直接的修正方式：

tictac :: IO ()
tictac = do
    putStrLn "Would you like to play against the computer or another player? Enter: 2 Player or Computer"
    choice <- getLine
    case choice of
      _ | choice == "Computer" -> main  -- 跳转到人机模式的IO动作
      _ | choice == "2 Player" -> tictactoe  -- 跳转到双人模式的IO动作
      _ -> putStrLn "That's not a valid choice! Please try again."

你也可以把分支逻辑抽成一个带守卫的辅助函数，让代码更清晰：

handleGameChoice :: String -> IO ()
handleGameChoice choice
  | choice == "Computer" = main
  | choice == "2 Player" = tictactoe
  | otherwise = putStrLn "That's not a valid choice! Please try again."

tictac :: IO ()
tictac = do
    putStrLn "Would you like to play against the computer or another player? Enter: 2 Player or Computer"
    choice <- getLine
    handleGameChoice choice

错误原因说明 #

Haskell的语法规则里，|只能出现在两个场景：一是函数定义的模式匹配之后（比如f x | cond = ...），二是case表达式的分支模式之后（比如_ | cond -> ...）。你直接在do块的赋值语句后写|，编译器无法识别这个语法结构，所以抛出了解析错误。

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