F＃中的类型定义和类型推断

Question

我有两个示例类型，按此顺序定义：

type Quote = {QuoteNum: decimal option; ShipToID: decimal option}
type Sales = {SalesNum: decimal option; ShipToID: decimal option}

我正在尝试编写一个可以接受两种类型的函数：

let fx (y: Map<decimal option, _ list>) = 
    y
    |> Map.map (fun key list -> list
                                   |> List.map (fun x -> x.ShipToID))

当我尝试将Map<decimal option, Quote list>传递给函数时，出现错误：

Type mismatch. Expecting a
Map<decimal option,Sales list>    
but given a
    Map<decimal option,Quote list>

我原本以为我能够将两种类型的映射传递给函数，但编译器似乎推断只有Map<decimal option, Sales list>才能被函数接受。 我怀疑编译器最近“看到” Sales类型，并假设这是函数所需要的。 我以为我通过在类型注释中包含_而使函数相对通用。

如何让函数接受这两种类型？ 如果不重新定义类型本身，我可以这样做吗？

Answer 1

你的怀疑是正确的。 F＃需要在那里推断出单个具体类型，因此将使用它找到的最新匹配类型。

您可以通过使用ShipToID字段定义接口ShipToID两种类型实现它（不确定是否计算为您重新定义类型），或者通过提供用于提取字段值的getter函数（这将使您保留功能通用）：

let fx (shipToIdGetter: 'a -> decimal option) (y: Map<decimal option, 'a list>) = 
    y
    |> Map.map (fun key list -> 
                   list
                   |> List.map (fun x -> shipToIdGetter x))

如果F＃支持行多态（如果OCaml恰好是这种情况），您的代码将按编写的方式工作。

Answer 2

虽然我相信scrwtp's答案是要走的路，但您也可以选择使用内联和成员约束 （或静态鸭子打字......如果这是一个有效的术语）。 为了完整起见：

type Quote = {QuoteNum: decimal option; ShipToID: decimal option}
type Sales = {SalesNum: decimal option; ShipToID: decimal option}

let inline fx (y: Map<decimal option, 'a list>) = 
    let inline getId x = ( ^a : (member ShipToID : decimal option) x)

    y |> Map.map (fun key list -> list |> List.map getId)


let q : Quote = { QuoteNum = None; ShipToID = None}
let s : Sales = { SalesNum = None; ShipToID = None}

fx <| Map.ofList [ None, [q]]
fx <| Map.ofList [ None, [s]]

getId函数使用相当模糊的语法根据^a的预期结构调用ShipToID成员。