Data.Map.Lazy と Data.Map.Strict が異なることは理解しています。しかし、Data.Map をインポートするとき、正確には何をインポートしているのでしょうか? 厳密なもの、遅延的なもの、またはその組み合わせですか?
1 に答える
9
怠け者。ドキュメントを見ると、
module Data.Map.Lazy
怠惰なものをすべて再エクスポートしていることを意味します。以前はいくつかの追加機能を提供していましたが、これらはすべて非推奨でData.Foldable
あり、厳格なバージョンのMap
.
編集: リンクされたページのドキュメントの 2 行目には、遅延バージョンも再エクスポートすると記載されています。
キーから値への順序付きマップ (辞書) の効率的な実装。
このモジュールは、値 lazy Lazy API と、Strict からのいくつかの値 strict 関数を再エクスポートします。
ただし、言及されている機能はすべて非推奨です。
于 2013-09-25T19:45:00.153 に答える