如何在泛型类型的元组上进行模式匹配？ F＃

Question

我正在尝试实现的函数从 tictactoe 游戏返回一个最佳移动，该游戏输入一个返回类型为 (GameState -> Player -> Option (Move) * int -> Move)的函数

基本上，我需要获取定义为

的值“移动”

type Move = 
            { Row:int; Col:int }

type Player = Nought | Cross

type GameState = 
  { Turn: Option<Player>; Size:int; board:Map<int*int, Option<Player>> }

作为一个输入函数返回一个元组（Some（Move类型的最佳移动），与移动相关的分数（整数））

我认为这会起作用

match (MiniMax game.board game.Turn) with
                | (Some({Row = x; Col = y;}), _) -> {Row=x Col=y}
                | (None, _) ->

但我收到一条错误消息： “这个表达式的类型应该是‘GameState -> Player -> Option (Move) *int’ 但这里有类型 a * b'"

如何匹配 (MiniMaxResult:Option(Move) * int) 的结果，以便仅提取 Move 类型？？

两个玩家；零或交叉 和游戏状态；包含有关棋盘动作、大小、轮到谁的信息

Answer 1

所以我在您的代码中看到的第一件事是您因partial application 而失败。您的模式匹配需要Option<Move>*int，但您的MinMaxGenerator 返回返回GameState -> Player -> Option<Move>*int。因此，您必须传递一个GameState 类型的参数和一个Player 类型的参数才能返回您期望的结果。不确定这是否是唯一的问题。