F# -当'k : comparison‘时，类型参数缺少约束

Question

我有这行代码，它给出了主题行中所述的错误：

type trie<'k,'a> = TNode of ('a option * Map<'k,('k,'a) trie>)

我试着用我能想到的每一种可能的方式插入“当k:比较”，但都没有用。我只能找到使用一个泛型参数的示例，而不是两个。

提前谢谢你，

鲍勃

Answer 1

试试这个：

type trie<'k,'a when 'k : comparison> = TNode of ('a option * Map<'k,trie<'k,'a>>)