Haskellの厳密なデータ構造のライブラリ

Question

厳密なデータ構造を実装するライブラリはありますか？具体的には、私は厳格なリストと厳密なセットを探しています。

免責事項：

1. 私はdeepseqの承知しています。これは非常に便利ですが、deepseqを使用するたびにデータ構造全体をトラバースするオーバーヘッドが追加されます（複数回でも可能です）。

2. 私は厳格な容器状のデータ構造は それは十分に評価されますが含まれ、すべてを保証するものではないことを認識していますが、構造は 自体は、例えば厳格でなければなりません：

   data StrictList a = !a :$ !(StrictList a) | Empty 
   

   （ここで、含まれている要素はWHNF内にあり、完全に評価されていない可能性がありますが、リストの構造は無限の値です）。

3. 私はハッキングの 'strict'パッケージについて知っていますが、それは非常に limiteを持っています厳密なデータ構造のセット。厳密な リストもセットも含まれていません。厳格なリストを書く

4. 自身が驚くほど簡単なようだ（私はところで、関数子、Traversableのと折り畳み式を導出するGHCの 拡張を愛しています。）が、それはより良い別のライブラリで行われますようにそれは まだいるようです。そして セットの効率的な実装は私にとってはそれほど簡単ではないようです。

Answer 1

（GHCに同梱）containersパッケージには、すぐに（私は彼らがGHC-7.4に含まれますわからないんだけど、ご希望に理由があります）、厳格な設定や地図バリアントを持っています。そのため、厳密なセットとマップを効率的に実装しています。厳密なリストは、あなたが簡単に言うように、それらを提供するハッキングのパッケージはいいと思うので、誰もがそれを自分でやる必要はありません。他に何か要りますか？

Answer 2

2番目の点として、私が最もよく見てきた言葉は背骨厳格です。

スパイン厳密リストの場合、Data.Seq.Sequence（コンテナ）またはData.Vector（vector）をおそらく使用できます。どちらもリストではありませんが、あなたがやっていることに応じて、どちらか（または両方）がより良くなる可能性があります。シーケンスはO（1）consとsnocを提供し、構造の両端に非常に高速にアクセスできます。 Vectorのパフォーマンスは配列に似ています。より多くのリストのようなインターフェイスをSequenceにしたい場合は、ListLikeパッケージ（Vector用のListLikeインターフェイスもありますが、Vectorはかなり包括的なインターフェイスを提供しているのであまり役に立ちません）。どちらも背骨に厳しいです。

厳密なセットについては、unordered-containersを試してみてください。厳密なマップもあります。