Haskell中适配合法走法生成的国际象棋棋盘表示方案

你之前用Java二维数组实现的思路完全可以平移过来，只是没必要硬套可变二维数组的写法。结合你的需求（不考虑王车易位、吃过路兵，核心功能是生成当前行棋方的所有合法走法），有三个梯度的方案可以选：

方案1：键值映射（Map）表示（入门最快） #

这是新手最快能跑通全功能的方案，没有复杂的类型约束：

• 坐标直接用整数元组表示就行，约定规则和你说的完全对齐：a1对应(0,0)、h8对应(7,7)，第一个元素代表列（a=0, b=1...h=7），第二个元素代表行（1=0, 2=1...8=7）。
• 棋子用简单的代数类型定义：

  data Color = White | Black deriving (Eq, Show)
  data PieceType = Pawn | Knight | Bishop | Rook | Queen | King deriving (Eq, Show)
  data Piece = Piece Color PieceType deriving (Eq, Show)
  

• 棋盘类型直接定义成映射关系：type Board = Map (Int, Int) Piece，只有存在棋子的位置才会存到映射的键值对里。
  适配你需求的点：
  • 解析FEN的时候，逐行逐格读到棋子就往Map里插入对应条目，不需要给64个格子全部初始化空状态。
  • 遍历当前行棋方的所有棋子时，直接过滤Map里颜色匹配的条目就行，不用循环遍历满盘。
  • 判断目标位置是否可走时，直接查Map对应坐标：没有键值对就是空位可以走，有值就判断是不是对方棋子，能吃的话就算合法走法。
    整个棋盘最多64个条目，不管是查询还是遍历的性能都完全够用，根本感知不到和二维数组的速度差异。

方案2：定长数组表示（最贴近Java二维数组思路） #

如果你习惯Java里二维数组的随机访问逻辑，直接用Haskell自带的不可变定长数组就行，操作逻辑几乎和Java一致：

• 先定义格子的两种状态：data Square = Empty | Occupied Piece deriving (Eq, Show)
• 棋盘类型定义成覆盖全棋盘的二维数组：type Board = Array (Int, Int) Square，把数组的索引范围设为(0..7, 0..7)，和之前的坐标规则完全对齐。
  和Java方案的唯一差异：Haskell的数组是不可变的，如果要模拟走子移动棋子，不会像Java那样原地修改位置的值，而是生成一个新的数组。但对你现在要实现的“生成所有可行走法列表”的功能来说，全程只需要读棋盘状态，完全不需要修改数组，体验和Java的二维数组一模一样：取格子状态直接按索引读，遍历全棋盘直接按索引范围挨个查就行，没有Map查空值的额外判断。

方案3：位棋盘表示（进阶可选） #

这是高性能象棋引擎常用的表示方案，核心是把每个位置的状态用64位整数的单个比特位记录，比如所有白兵的位置存成一个64位整数，有兵的位置对应的比特位设为1。这种方案的走法生成速度极快，但学习成本很高，新手阶段完全没必要一开始就上，等你把基础功能跑通了想优化性能的时候再考虑就行。

• 解析FEN的时候注意行序：FEN字符串开头描述的第一行对应的是棋盘的第8行（黑方后排），最后一行对应的是棋盘第1行（白方后排），别把行号和之前约定的坐标对应关系搞反。
• 新手阶段别追求性能，整个棋盘规模极小，哪怕用最朴素的列表嵌套存状态都能跑得飞快。
• 最后输出走法字符串的时候，把坐标反向转换就行：比如(1,2)对应列号1转成字母b，行号2加1转成数字3，拼出来就是"b3"，和起点、终点拼起来就是要求的"b3-c4"格式。
• 你现在不用考虑王车易位、吃过路兵，只要实现基础棋子的走法规则就行：兵的直走、斜吃，马的8个固定跳点，象/车/后的直线滑走逻辑，王的邻格移动，功能就达标了。

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