Haskell中‘Couldn't match expected type’错误排查：游戏最高分文件读写函数实现问题

嘿，我来帮你搞定这个问题！咱们先拆解错误根源，再一步步修正代码。

错误原因分析 #

你给readHighScore写的类型签名IO() -> Int完全错了！这个函数是一个带有副作用的IO操作——它要读取文件并返回最高分，所以正确的类型应该是IO Int。Haskell里所有涉及副作用的操作（比如读写文件）都必须把结果包裹在IO monad里，编译器报错就是因为你声明的类型和实际代码返回的IO Int完全不匹配。

代码修正与优化 #

咱们不仅要修复错误，还要让代码更简洁规范：

1. 核心错误修复 #

首先把readHighScore的类型签名改成IO Int，然后可以用Haskell内置的readFile函数替代手动openFile+hGetContents——readFile会自动帮你处理文件的打开、读取和关闭，避免手动管理文件句柄带来的资源泄漏问题。

另外你原saveHighScore里的"" ++ show num完全没必要，直接用show num就能把Int转成字符串。

修正后的完整代码 #

import System.IO

saveHighScore :: Int -> IO ()
saveHighScore num = do
    let stringNum = show num  -- 简化字符串转换逻辑
    let file = "score.txt"
    writeFile file stringNum

readHighScore :: IO Int  -- 修正为正确的类型签名
readHighScore = do
    scoreContent <- readFile "score.txt"  -- 用readFile简化文件读取流程
    let highScore = read scoreContent :: Int
    return highScore

2. 可选的容错优化 #

如果score.txt不存在或者内容不是合法的Int，上面的代码会崩溃。可以加一点容错处理，比如文件不存在时默认返回0：

import System.IO
import System.Directory  -- 需要这个模块判断文件是否存在

saveHighScore :: Int -> IO ()
saveHighScore num = writeFile "score.txt" (show num)  -- 进一步简化成单行

readHighScore :: IO Int
readHighScore = do
    fileExists <- doesFileExist "score.txt"
    if fileExists
        then readFile "score.txt" >>= return . read
        else return 0  -- 文件不存在时返回默认最高分0

测试代码示例 #

你可以在main函数里调用这两个函数验证功能：

main :: IO ()
main = do
    saveHighScore 180
    currentHigh <- readHighScore
    putStrLn $ "当前最高分是: " ++ show currentHigh

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