Question

我对SML并不熟悉，但我编写了以下程序：

datatype 'a bin_tree = Leaf of 'a
|   Node of 'a bin_tree * 'a bin_tree

fun height Leaf (x) = 0
|   height Node (l1,l2) = 1 + Int.max(l1,l2)

fun is_balanced Leaf (x) = true
|   is_balanced Node (l1,l2) = 
    if(abs(height(l1) - height(l2))<2)
        then (is_balanced(l1); is_balanced(l2))
    else false

val prod_tree = fold_tree
    op* (fn x => x)

fun fold_tree e f Leaf (x) =  f(x)
|   fold_tree e f Node (l1, l2) = (e(fold_tree e f(l1)), e(fold_tree e f(l2)))

但是，当编译use "lab2.sml";时，我收到以下错误：

lab2.sml:4.12-4.16 Error: data constructor Leaf used without argument in pattern
lab2.sml:5.10-5.14 Error: data constructor Node used without argument in pattern
lab2.sml:7.17-7.21 Error: data constructor Leaf used without argument in pattern
lab2.sml:8.15-8.19 Error: data constructor Node used without argument in pattern
lab2.sml:9.10-9.33 Error: operator and operand don't agree [overload conflict]

我完成了我的研究，但也许我只是遗漏了一些东西。任何帮助将不胜感激。谢谢！

Answer 1

有很多问题。由于这似乎是家庭作业，我会指出一些事情，但让你弄清楚细节：

1）在SML中，函数应用程序具有最高可能的优先级。这样一行

fun height Leaf (x) = 0

解析为

fun (height Leaf) x = 0

而不是预期的

fun height (Leaf x) = 0

请注意，(height Leaf)已将函数height应用于构造函数Leaf，其中Leaf没有参数 - 因此隐藏错误消息data constructor Leaf used without argument in pattern。您在代码中的其他位置重复基本相同的错误。所有情况下的解决方案是在构造函数表达式周围加上括号;例如使用(Leaf x)而不是Leaf (x)。

2）Int.max(l1,l2)毫无意义，因为l1和l2是树而不是整数。可能你想要占用这些树的高度。

3）;不是布尔运算符。 andalso是。

4）您在定义之前尝试使用fold_tree。首先定义它。

鉴于这些提示，您应该能够调试代码。几分钟后我才能让你的功能正常工作，所以你几乎就在那里。

数据构造函数在模式中没有参数使用？

1 个答案: