1

我一直在尝试编译这段代码 3 个小时，但没有任何改进。我知道我的数据类型编译没有问题，也是模式匹配的第一种情况。但是当第二种情况出现时（一个带有两个子节点的节点）它不会编译。这些问题似乎符合 if 和 4 个条件。

datatype Heap = Leaf of int 
                  |Node of int * Heap  * Heap 
(*.........................................*)

fun isHeap Leaf(a) = true
  | isHeap Node(a,Leaf(b),Leaf(c)) =  if (a<=b andalso a<=c) then true
                                      else false
  | isHeap (Node(a, Node(b,_,_), Node(c,_,_)) )= 
        if(a<= c andalso a<=b andalso isHeap (Node(b,_,_))  andalso isHeap (Node(c,_,_))  )
           then true
        else false

我试过，通过将四个条件分解成另一种方式

        let
            val left =  isHeap (Node(b,_,_))  
            val right =  isHeap (Node(c,_,_)) 
        in
            if(left = true andalso right = true) then true
            else false
        end
    else false

也可以工作（我认为因为 let in 具有返回类型单元，而其他布尔）

4

1 回答 1

2

我怀疑秘密错误消息是在抱怨第三种情况，因为您在前两种情况下忘记了参数周围的括号-</p> 

isHeap Leaf(a)

相当于

isHeap Leaf a

它有两个参数，第二种情况也有两个参数，Node和(a,Leaf b,Leaf c)。

此外，您正在尝试_用作表达式，但您不能。

我建议不要尝试解决这个问题（添加两个缺失的情况后，您的函数将变得非常乏味且不可读），我建议引入一个辅助函数：

fun value (Leaf v) = v
  | value (Node (v, _, _)) = v

然后您可以将代码简化为

fun isHeap (Leaf _) = true
  | isHeap (Node (v, left, right)) = v <= value left 
                             andalso v <= value right
                             andalso isHeap left
                             andalso isHeap right
于 2021-06-16T15:14:59.897 回答