0

基本上,我想要一个函数来从一个节点和 2 个子堆中创建一个堆。堆表示如下(其中Cons中的int表示节点的rank)

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
4

1 回答 1

3

您已经makeHeap以咖喱形式定义,但使用元组参数调用它。这两种形式意味着不同的类型,因此不可互换。只需将呼叫更改为

makeHeap #"c" Empty Empty

或者,将定义更改为

fun makeHeap(x, h1, h2) = ...
于 2012-09-22T13:39:09.793 回答