递归遍历字典并删除键

Question

我正在使用顶点和Data.Map 来尝试为跳棋游戏进行捕获动作。我正在使用函数 changeKey 更新地图中的当前键，并使用函数 cMove 进行捕获移动。现在，cMove 接受一个顶点、一个顶点列表（与对手的棋子）和一个包含顶点的地图和一个布尔值来指示棋子属于哪个玩家。 cMove 检查第一个顶点元组是否在地图中（以了解棋盘上的位置是否为空，因为计算会找到有效移动的位置）。如果是，changeKey 将被调用。

changeKey :: (Integer, Integer) -> (Integer, Integer) -> Map (Integer, Integer) Bool -> Map (Integer, Integer) Bool
changeKey k0 k1 myMap = case M.updateLookupWithKey (\_ _ -> Nothing) k0 myMap of
         (Nothing, _    ) -> myMap
         (Just e, myMap) -> M.insert k1 e myMap

cMove :: (Integer, Integer) -> [(Integer, Integer)] -> Map (Integer, Integer) Bool -> Map (Integer, Integer) Bool
cMove k [k1] myMap = if M.notMember (2*fst k1 - fst k, 2*snd k1 - snd k) myMap
                          then
                          changeKey k (2*fst k1 - fst k, 2*snd k1 - snd k) myMap
                          else myMap

我的问题在于，如果列表包含多个元组，我对如何循环遍历顶点列表一无所知（因为玩家每回合可以进行无限量的捕获）。此外，如何确保从地图中删除代表对手棋子的每个键。

Answer 1

首先，the documentation for Data.Map 建议您在遇到这种情况时使用 Data.Map.Strict 而不是 Data.Map。

此外，函数名称通常应以小写字母开头。

---

除此之外，在这里进行迭代的一种简单方法是将fold the elements of a list 转换为最终结果Map。您编写一个函数来处理一次迭代（参见下面的cMove'），然后使用foldr 或foldl' 之类的东西让它为您完成所有迭代。

我不确定以下内容是否为您提供了您想要的行为，但这是使用foldr 的初稿：

import Data.Map.Strict (Map(..))
import qualified Data.Map.Strict as M

changeKey :: (Integer, Integer) -> (Integer, Integer) -> Map (Integer, Integer) Bool -> Map (Integer, Integer) Bool
changeKey k0 k1 myMap = case M.updateLookupWithKey (\_ _ -> Nothing) k0 myMap of
         (Nothing, _    ) -> myMap
         (Just e, myMap) -> M.insert k1 e myMap

cMove :: (Integer, Integer) -> [(Integer, Integer)] -> Map (Integer, Integer) Bool -> Map (Integer, Integer) Bool
cMove k ks myMap = foldr (cMove' k) myMap ks
  where
    cMove' :: (Integer, Integer) -> (Integer, Integer) -> Map (Integer, Integer) Bool -> Map (Integer, Integer) Bool
    cMove' k k1 myMap = if M.notMember (2*fst k1 - fst k, 2*snd k1 - snd k) myMap
                              then changeKey k (2*fst k1 - fst k, 2*snd k1 - snd k) myMap
                              else myMap