Haskell嵌套case表达式缩进错误：最后一行解析异常排查

首先，咱们拆解下你卡了2小时的问题——其实是几个点叠加导致的，不只是最后一行的缩进问题：

1. 核心错误：误用>>=（Monad Bind） #

你把matched（一个列表）和>>=结合，但列表的>>=是用来做列表平铺/生成新列表的，它要求传入的lambda函数必须返回列表，但你的lambda返回的是Map，这类型完全不匹配！你想要的是遍历列表元素、累积更新Map，这时候应该用foldl或foldr，而不是>>=。

2. 缩进与括号问题 #

Haskell对缩进极其敏感，你的do块里的case分支缩进没有对齐，而且最后没闭合lambda的)，这直接触发了parse error。另外，很多括号是多余的，反而会让代码结构更混乱。

3. 未定义变量distance #

代码里d + distance的distance完全没定义，这也是一个隐藏的错误，哪怕过了解析阶段，编译器也会报错。

修正后的代码示例 #

假设你的Node a是三元组(k, k, Int)（代表起点、终点、距离），Map的值是(k, Int)（邻居节点、当前最短距离），修正后的代码如下：

import qualified Data.Map as Map

-- 明确Node类型（根据你的代码逻辑推测）
type Node k = (k, k, Int)

getAdjacency :: Ord k => [Node k] -> Map.Map k (k, Int) -> Map.Map k (k, Int)
getAdjacency matched adjacency = foldl updateMap adjacency matched
  where
    updateMap currentMap (x, y, d) =
      case Map.lookup y currentMap of
        -- 若节点y不在邻接表，直接插入新条目
        Nothing -> Map.insert y (x, d) currentMap
        -- 若已存在，比较距离后决定是否更新
        Just (nod, value) ->
          -- 请替换成你实际的distance计算逻辑！比如是不是d本身？
          let newTotalDistance = d
          in if newTotalDistance < value
             then Map.insert y (x, newTotalDistance) currentMap
             else currentMap -- 值无变化，无需重复插入

修正点说明 #

• 用foldl遍历列表，通过updateMap函数逐步累积更新Map，这才符合你想要的状态累积逻辑。
• 去掉多余括号，统一缩进，让代码结构更清晰，避免解析错误。
• 补充Ord k约束（Map的操作要求键具备可比较性）。
• 处理了未定义的distance问题，你需要根据实际需求调整newTotalDistance的计算方式。

回到你问的最后一行问题：它本身的括号是闭合的，但因为前面的>>=用法错误、缩进不对，加上整体结构不完整，才让编译器报了parse error。本质上是整体逻辑的Monad误用导致的连锁问题，不是最后一行单独的括号错误。

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