ATSに優先キューの実装がありますか？

Question

私は何らかの優先順位ベースの検索をする必要があります。誰かが私にATSの優先待ち行列の実装を教えてもらえますか？

Answer 1

私はいくつかの安全でないCベースの最大ヒープを思いついた（他の誰かの要点に基づいて）。私は、ATSのCコードとのインターフェイスは、一般的に安全ではないが、非常に簡単であることを示していると思います。

は Glot.io

EDITで完全なサンプルを参照してください：ここanother実装、ATSでこの時間です。しかし、このコードの重要な特徴は、タイプセーフであることです。は、一般的なCの実装と非常に近い点で、タイプセーフです。実行時の動作。

Answer 2

二項ヒープ上に優先度キューを簡単に置くことができます。

ATSに2項ヒープの実装が2つあります。ここではいくつかのユースケースは、次のとおりです。

https://github.com/githwxi/ATS-Postiats/blob/master/doc/EXAMPLE/ATSLIB/libats_linheap_binomial.dats

https://github.com/githwxi/ATS-Postiats/blob/master/doc/EXAMPLE/ATSLIB/libats_linheap_binomial2.dats