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