Haskell函数类型错误求助：renderMaze编译报错排查

核心问题总结 #

所有错误本质都是函数参数传递缺失和类型转换遗漏：renderMaze未传递输入参数给内部依赖函数，同时Integer与Int类型不匹配，函数组合后未提取具体数值。

错误1：getHash参数过多/renderMaze类型不匹配 #

• 原因：renderMaze的类型是接受迷宫数据参数返回[String]，但当前写法直接调用getHash known xs，未将renderMaze的输入参数传递给known和xs依赖的函数，导致getHash被传入函数而非预期的列表值，最终返回[String]而非输入->[String]的函数。
• 修复：让renderMaze接收参数input，并将input传递给内部所有需要它的函数。

错误2：known参数不足 #

• 原因：getCoordinates是需要接收迷宫数据的函数，known = getCoordinates只是引用函数，而非调用它得到的列表值；同时getCoordinates返回[(Integer,Integer)]，但getHash需要[(Int,Int)]，类型不匹配。
• 修复：将input传给getCoordinates，并通过fromIntegral把Integer转换为Int。

错误3：m和n参数不足且类型不匹配 #

• 原因：maximumBy(comparing fst). getCoordinates是函数组合，返回的是输入->(Integer,Integer)的函数，而非Int值；grid需要Int类型参数，而maximumBy返回的是Integer。
• 修复：将input传给组合函数，提取fst/snd得到Integer，再用fromIntegral转换为Int。

修复后的代码框架 #

import Data.List (maximumBy)
import Data.Ord (comparing)

renderMaze :: [((Integer,Integer), (Integer,Integer))] -> [String]
renderMaze input = getHash known xs
    where
        -- 转换Integer坐标为Int，匹配getHash的类型要求
        known = map (\(x,y) -> (fromIntegral x, fromIntegral y)) $ getCoordinates input
        xs = grid m n
            where
                -- 获取最大x坐标并转为Int
                m = fromIntegral . fst $ maximumBy (comparing fst) (getCoordinates input)
                -- 获取最大y坐标并转为Int
                n = fromIntegral . snd $ maximumBy (comparing snd) (getCoordinates input)

getHash :: [(Int,Int)] -> [(Int,Int)] -> [String]
getHash = undefined -- 你的实现

path :: ((Integer, Integer), (Integer, Integer)) -> [(Integer, Integer)]
path = undefined -- 你的实现

getCoordinates :: [((Integer,Integer) , (Integer,Integer))] -> [(Integer,Integer)]
getCoordinates = undefined -- 示例实现：concatMap (\(a,b) -> [a,b])

grid :: Int -> Int -> [(Int,Int)]
grid = undefined -- 你的实现

额外说明 #

• 必须导入Data.List的maximumBy和Data.Ord的comparing，否则会找不到这些函数。
• fromIntegral是Haskell跨数值类型转换的核心函数，用于在Integer和Int之间转换（需确保数值在Int范围内）。
• 如果getCoordinates的作用是收集所有路径段的起点和终点，可参考示例实现：getCoordinates = concatMap (\(p1,p2) -> [p1,p2])。

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