Haskell编译报错：‘do块最后一条语句必须是表达式’问题求助

你的代码存在几处语法和逻辑问题，导致编译器抛出该错误，以下是具体问题和修正方案：

问题分析 #

1. 缩进不规范：Haskell对缩进要求严格，main函数的定义、case分支的缩进都不符合语法规则，编译器无法正确识别代码块结构。
2. case分支语法错误："Read":filename:_后面的箭头写成了-，正确写法是->。
3. 错误使用<-绑定：map greaterSwap contents和printNetwork networks都是纯函数计算（不涉及IO操作），不能用IO绑定符号<-，应该用let来绑定纯计算的结果。
4. do块结构解析失败：前面的语法错误导致编译器无法正确识别do块的最后一个表达式，从而触发"The last statement in a 'do' block must be an expression"错误。

修正后的完整代码 #

type Network = [(Int, Int)]

fileParse :: FilePath -> IO Network
fileParse filename = do
    contents <- readFile filename 
    let networks = read contents :: Network
    return networks

greaterSwap :: (Int, Int) -> (Int, Int)
greaterSwap (a, b) 
      | b > a = (b, a)
      | otherwise = (a, b) 

printNetwork :: Network -> String
printNetwork [] = ""
printNetwork (x:[]) = show(fst(x)) ++ " -- " ++ show(snd(x))
printNetwork (x:xs) = show(fst(x)) ++ " -- " ++ show(snd(x)) ++ "\n" ++ printNetwork xs

main :: IO ()
main = do
    args <- getArgs
    case args of
        "Read":filename:_ -> do
            contents <- fileParse filename 
            let networks = map greaterSwap contents
                endString = printNetwork networks 
            writeFile "network.txt" endString

关键修正说明 #

• 统一调整了main函数内的缩进，确保代码块层级清晰；
• 把case分支的-修正为->；
• 将networks <- map greaterSwap contents改为let networks = map greaterSwap contents，同理endString <- printNetwork networks改为let endString = printNetwork networks，因为这两个都是纯函数计算，不需要IO绑定；
• 修正后的do块最后一个表达式是writeFile "network.txt" endString，这是一个合法的IO表达式，符合do块的语法要求。

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