Finger Tree の論文: http://www.soi.city.ac.uk/~ross/papers/FingerTree.html は Data.Sequence ライブラリの基礎です: https://www.haskell.org/ghc/docs /7.6.1/html/libraries/containers-0.5.0.0/Data-Sequence.html#g:10
しかし、このライブラリは、サイズの注釈が付けられたフィンガー ツリーの関数しか提供していないようです。クライアントが使用する他の注釈を提供することはできません。特に、sort 関数は「SortSeq」ではなく、別の Seq を返します。
この論文で説明されているすべての機能を提供する FingerTrees の既存の haskell 実装はありますか?