FSharpで不変のTallySet（集計マルチセット）を書く方法

Question

マルチセット/バッグのハイブリッド と各項目の出現数を記録するMapとして動作する不変のコレクションタイプを作成しようとしています。

私は以下のようにコードを少し変更して書くことができます。マップから継承することで不変のコードを書き込もうとしましたが、マップは封印されています。

type TallySet<'k_t when 'k_t : comparison>() = class 
    // inherit Map<'k_t, int> 
    let m_map:((Map<'k_t, int>) ref) = ref (Map.empty) 

    member x.add item = 
     m_map := 
      match (!m_map).TryFind item with 
       | None -> (!m_map).Add(item, 1) 
       | Some n -> (!m_map).Add(item, 1 + n) 
     !m_map 

    member x.Count with get() = Map.fold (fun cc k v -> cc + v) 0 !m_map 
end 

何を書きますか？

Answer 1

ExtCore.Collections.Multisetをご覧ください。あなたのコードのように、値の型がカウントに設定された単なるマップです。 Multiset.addおよびMultiset.countは、例のメンバーに対応しています。