基本的に、ノードと 2 つのサブヒープからヒープを作成する関数が必要です。ヒープの表現は次のとおりです (Cons の int はノードのランクを表します)。
datatype 'a heap = Empty | Heap of int * 'a * 'a heap * 'a heap
私の機能は次のとおりです。
fun makeHeap x h1 h2 = Heap ((rank h1)+1, x, h1, h2)
プログラムはコンパイルされますが、makeHeap を呼び出すと、ヒープではなく奇妙な値が得られます。
makeHeap(#"c", Empty, Empty);
stdIn:72.1-72.29 Warning: type vars not generalized because of
value restriction are instantiated to dummy types (X1,X2,...)
val it = fn
: (char * ?.X1 heap * ?.X2 heap) heap
-> (char * ?.X1 heap * ?.X2 heap) heap
-> (char * ?.X1 heap * ?.X2 heap) heap