Haskell - 国际象棋 - 哪些下一步是可能的？

Question

我想编写一个函数，它获取一个带有位置的国际象棋图形，并告诉我这个图形下一步可以走哪一步。

为了国王，我能够做到这一点。

type Position = (Int,Int)

data Piece = Piece {
    _position :: Position,
    _color :: String}

nextMoves :: Piece -> [Position]
nextMoves king = filter (onTheBoard) (filter (/= (xOld,yOld)) 
                        [(x,y) | x <- [(xOld-1)..(xOld+1)], y <- [(yOld-1)..(yOld+1)]])
    where
        xOld = fst(_position king)
        yOld = snd(_position king)

他站在 (1,3) 上，我的函数给了我 [(1,2),(1,4),(2,2),(2,3),(2,4)]。

现在我想为主教或骑士做同样的事情。但是我如何使用过滤器来解决这个问题？ 感谢您的提示。

//编辑：我已将检查更改为帮助功能：

onTheBoard :: Position -> Bool
onTheBoard (x,y) = elem x [1..8] && elem y [1..8]

Answer 1

您无法分辨Piece 是哪一块（国王、主教、骑士等）。 nextMoves king 匹配所有部分，无论它是哪种类型。要弄清楚其他棋子的动作，您需要能够区分它们。你需要类似的东西

data PieceType = Pawn | Knight | Bishop | Rook | Queen | King

data Piece = Piece {
    _position :: Position,
    _color :: String,
    _pieceType :: PieceType}

那你可以为nextMoves写更多的案例

nextMoves :: Piece -> [Position]
nextMoves piece =
    case _pieceType piece of
        King   -> filter (<= (1,1)) (filter (>= (8,8)) (filter (/= (xOld,yOld)) 
                        [(x,y) | x <- [(xOld-1)..(xOld+1)], y <- [(yOld-1)..yOld+1)]]))(yOld+1)]]))
        Queen  -> ...
        Rook   -> ...
        Bishop -> ...
        Knight -> ...
        Pawn   -> ...
    where
        xOld = fst(_position piece)
        yOld = snd(_position piece)

您可以从其余规则中提取移动必须在棋盘上的过滤条件。

如果您的目标是真正的国际象棋游戏，则还有其他规则来判断移动是否有效，这取决于棋盘的其余状态。

过滤

正如 Priyatham 所指出的，您的过滤也有问题。类型 (,) 的 Ord 实例首先比较元组的第一个元素，然后比较第二个元素。这意味着，例如，(1, 9) < (2, 0)。这称为字典排序，就像条目的字母顺序一样：首先按第一个字母，然后按第二个字母，等等...

您需要检查每个组件是否单独在范围内，这可以通过Data.Ix 的inRange 以及fst 和snd 函数轻松完成，例如：

filter (inRange (1,8) . fst) . filter (inRange (1,8) . snd) . filter (/= (8,8)) $ [(7,9), 9,7), (7,7), (8, 8)]

元组(,) 的Ix 实例检查两个组件是否都是inRange，所以这相当于

filter (inRange ((1,1), (8,8))) . filter (/= (8,8)) $ [(7,9), (9,7), (7,7), (8, 8)]