dictionary - 使用具有不可比较对象的 Map

Question

我有 Job类型，相等定义为作业的 ID 相等。永远不应该有两个具有相同 ID 的作业。但它们没有可比性，一项工作并不比另一项工作多或少，只有相等与否。

type JobId = JobId of string

[<CustomEquality; NoComparison>]  
type Job = {
    Id: JobId
} with 
    interface System.IEquatable<Job> with 
        member x.Equals y = x.Id = y.Id

type Resource = { 
    Id: string
    Capacity: float
    Usage:  Map<Job,float>
}

Map不过需要比较。

为什么Map需要比较吗？

我应该使用什么结构？ (我假设我可以使用 IDictionary，但我正在努力保持功能。)

Answer 1

在内部，F# 的 Map是 implemented as a balanced binary tree (specifically, an AVL tree) ，这需要比较其键类型才能确定任何项目在树中的位置。对于不需要比较的哈希映射， PersistentHashMap type from FSharpx.Collections可能是你想要的。