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