这个是Broda-Okasaki的Haskell实现,它是Brodal原始数据结构的纯函数变体,具有相同的时间界限。由于Brodal-Okasaki声称他们的结构可以通过调整二项队列来派生,所以我认为对于大多数用途,配对堆会更快,但根据您的应用程序,可能会有更好的结构。