Haskell中read函数后用条件语句出现解析错误求助

你的代码触发语法错误的核心原因是缩进不规范以及多IO操作未用do块包裹，具体修正方案如下：

错误分析 #

1. Haskell的do块对缩进要求极高，同一层级的语句必须严格对齐，原代码中各语句的缩进层级混乱，编译器无法正确解析语句结构。
2. 当if的then/else块包含多个IO操作时，必须用do将它们包裹成单一的IO表达式，否则编译器会把后续操作当成do块内的独立语句，破坏语法结构。

修正后的代码 #

function :: Int -> IO ()
function n = do
    putStr "Input: "
    x <- getLine
    let y = read x :: Int
    if y == n
        then print "Something"
        else if y < n 
            then do
                print "Something"
                function n
            else do
                print "Something"
                function n

关键修改点 #

• 统一do块内所有语句的缩进（示例中用4个空格，保持一致即可），确保putStr、x <- getLine、let、if处于同一层级。
• 在包含多个IO操作的then块中添加do，将print和递归调用function n组合成一个完整的IO动作。
• 简化let y = (read x :: Int)的写法，括号可省略，不影响功能但更符合Haskell编码习惯。

额外优化建议 #

如果要处理用户输入非数字的情况，避免程序崩溃，可以使用Text.Read模块的readMaybe函数：

import Text.Read (readMaybe)

function :: Int -> IO ()
function n = do
    putStr "Input: "
    x <- getLine
    case readMaybe x :: Maybe Int of
        Just y -> if y == n
            then print "Got it!"
            else if y < n 
                then do
                    print "Too small, try again"
                    function n
                else do
                    print "Too big, try again"
                    function n
        Nothing -> do
            print "Invalid input, please enter a number"
            function n

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