F#中引用静态值表并实现查询：是否有更符合惯用风格的高效方案？

你的当前实现存在一个关键问题：每次调用getter都会重新构建整个嵌套Map，对于静态不变的表来说完全没必要，会额外消耗性能。以下是几种更贴合F#惯用风格的优化方案：

1. 提前初始化静态Map（最直接的性能优化） #

把嵌套Map的初始化逻辑移到函数外部，程序启动时仅执行一次，函数内部直接复用这个预构建好的结构：

// 静态初始化，仅在程序启动时执行一次
let birdFruitMap = 
    [ "Eagle", Map [ "Cherry", 1.1; "Pear", 1.4; "Orange", 1.2; "Apple", 1.1; "Banana", 1.0 ]
      "Hawk", Map [ "Cherry", 1.1; "Pear", 1.4; "Orange", 1.2; "Apple", 1.1; "Banana", 1.0 ]
      "Turkey", Map [ "Cherry", 1.1; "Pear", 1.1; "Orange", 1.1; "Apple", 1.0; "Banana", 1.0 ]
      "Chicken", Map [ "Cherry", 1.1; "Pear", 1.1; "Orange", 1.1; "Apple", 1.0; "Banana", 1.0 ] ]
    |> Map.ofList

let getter bird fruit =
    birdFruitMap.[bird].[fruit]

如果需要处理键不存在的异常情况，推荐用Map.tryFind实现安全查询：

let getter bird fruit =
    match birdFruitMap.TryFind bird with
    | Some fruitMap -> fruitMap.TryFind fruit
    | None -> None

2. 用辨别联合（DU）实现类型安全查询 #

如果鸟类和水果的种类是固定的，用辨别联合代替字符串作为查询键，能在编译阶段检测拼写错误，这是F#类型优先风格的典型应用：

type Bird = Eagle | Hawk | Turkey | Chicken
type Fruit = Cherry | Pear | Orange | Apple | Banana

let getValue bird fruit =
    match bird, fruit with
    | Eagle, Cherry | Hawk, Cherry -> 1.1
    | Eagle, Pear | Hawk, Pear -> 1.4
    | Eagle, Orange | Hawk, Orange -> 1.2
    | Eagle, Apple | Hawk, Apple -> 1.1
    | Eagle, Banana | Hawk, Banana -> 1.0
    | Turkey, Cherry | Chicken, Cherry -> 1.1
    | Turkey, Pear | Chicken, Pear -> 1.1
    | Turkey, Orange | Chicken, Orange -> 1.1
    | Turkey, Apple | Chicken, Apple -> 1.0
    | Turkey, Banana | Chicken, Banana -> 1.0

这种方式不仅类型安全，查询效率也极高（模式匹配会被编译期优化），还能通过_分支处理未定义的组合。

3. 简化重复数据定义 #

观察数据可以发现，Eagle和Hawk的数值完全一致，Turkey和Chicken也是，可提取公共值减少重复代码，后期修改也更便捷：

let raptorValues = Map [ "Cherry", 1.1; "Pear", 1.4; "Orange", 1.2; "Apple", 1.1; "Banana", 1.0 ]
let poultryValues = Map [ "Cherry", 1.1; "Pear", 1.1; "Orange", 1.1; "Apple", 1.0; "Banana", 1.0 ]

let birdFruitMap =
    Map [ "Eagle", raptorValues
          "Hawk", raptorValues
          "Turkey", poultryValues
          "Chicken", poultryValues ]

let getter bird fruit =
    birdFruitMap.[bird].[fruit]

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