执行最后使用ML

Question

我试图在ML中实现最后一个。最后可以返回列表的最后一个元素。

例如，L = [1，2，3，4]，last（L）= 4。这是我的实现。

fun last [] = last((h::nil)) = h | last((h::tail)) = last(tail); 

它给我“未绑定变量或构造函数：h”。在我的理解中，h是我声明的一个变量，代表列表的头部，为什么会在变量h上发生错误？

Answer 1

你定义可以布置为

fun last [] = last((h::nil)) = h 
| last((h::tail)) = last(tail); 

SML解释第一子句为试图分配给last []布尔值，它是在比较last((h::nil)) = h的结果。由于您在该条款中匹配的模式是[]而[]不涉及h，所以比较last((h::nil)) = h中的h是未绑定的，因此是错误。在任何情况下，这样的比较都没有意义，显然也不是你的意图。

请注意，last []不能明确定义。您的替代方法是简单地忽略它或通过引发错误（Empty或自定义错误）来解决它。函数last的实际基础子句是1元素列表。你似乎知道如何处理它。你的代码实际工作，当你停止尝试用你的第一款同时给出一个值都last []和last (h::nil)，而是只是做了后者：

fun last (h::nil) = h 
| last (h::tail) = last tail; 

这里我删除周围h::nil，h::tail3双多余的括号，和tail。在SML函数调用中不需要括号。当您需要确保正确的分组时，您只需要括号。请注意，第一个模式也可以更为简洁地编写为[h]。

由于您尚未给出last []的定义，因此您会收到非穷举匹配警告。你可以只忽略警告（因为它是相当常见的，只有对非空列表定义的函数），或写为

fun last [] = raise Empty 
| last (h::nil) = h 
| last (h::tail) = last tail;