F＃ - 一种参数缺少约束时，“K：比较

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>>)