Haskell中不再有哈希映射/集的状态monad版本吗？

如何解决Haskell中不再有哈希映射/集的状态monad版本吗？

| Haskell中的哈希集和映射的单子接口是否消失了？使用现代版本时，我应该考虑哪种性能模型？（Data.Map，Data.HashMap，Data.HashSet）。在我使用的版本（ghc 7.0.2）中，它们似乎没有任何IO代码，

> :browse Data.HashSet
type HashSet a = Set a
newtype Set a
  = Data.HashSet.Set (Data.IntMap.IntMap (Data.HashSet.some a))
(\\\\) :: Ord a => Set a -> Set a -> Set a
delete :: (Data.Hashable.Hashable a,Ord a) => a -> Set a -> Set a
difference :: Ord a => Set a -> Set a -> Set a
elems :: Set a -> [a]
empty :: Set a
Data.HashSet.filter :: Ord a => (a -> Bool) -> Set a -> Set a
fold :: (a -> b -> b) -> b -> Set a -> b
fromList :: (Data.Hashable.Hashable a,Ord a) => [a] -> Set a
insert :: (Data.Hashable.Hashable a,Ord a) => a -> Set a -> Set a
intersection :: Ord a => Set a -> Set a -> Set a
isProperSubsetof :: Ord a => Set a -> Set a -> Bool
isSubsetof :: Ord a => Set a -> Set a -> Bool
Data.HashSet.map ::
  (Data.Hashable.Hashable b,Ord b) => (a -> b) -> Set a -> Set b
member :: (Data.Hashable.Hashable a,Ord a) => a -> Set a -> Bool
notMember ::
  (Data.Hashable.Hashable a,Ord a) => a -> Set a -> Bool
Data.HashSet.null :: Set a -> Bool
partition :: Ord a => (a -> Bool) -> Set a -> (Set a,Set a)
singleton :: Data.Hashable.Hashable a => a -> Set a
size :: Set a -> Int
toList :: Set a -> [a]
union :: Ord a => Set a -> Set a -> Set a
unions :: Ord a => [Set a] -> Set a

解决方法

Haskell中的哈希集和映射的单子接口是否消失了？不，仍然有一个Monadic哈希图Data.HashTable，它位于“ 1” monad中。（这很烦人，它不存在于STmonad中，但是我想这会使它的便携性和理解程度稍差一些，因为ST不是Haskell98。）就像任何命令式语言中的哈希表一样。性能特征也应该相同。当然，从任何映射（包括哈希表）中，您都可以通过存储伪值来创建一个集合（例如，只需将每个键映射到其自身）。 ,Data.HashMap和Data.HashSet使用Patricia树存储哈希，因此操作的性能与Data.Map具有相同的渐近复杂度。但是也就是说，根据我的经验，常数因子要小得多，并且它们的执行速度要快得多。 ,仍然有一个位于IO中的HashTable。但是，已弃用该文件（正是因为它不存在于ST monad中），将在GHC 7.8中删除。但是有一个可用的单价哈希表，它位于ST中。请参阅hackageDB中的hashtables包。