通配符在标准ML

Question

我只是碰到下面的函数进来ML的工作程序员：

fun null [] = true 
    | null (_::_) = false 

1）不能同时使用通配符是空的名单？如果不是，ML如何防止这种情况发生？

2）可能的功能被缩短为：

fun null [] = true 
    | false 

为什么/为什么不呢？

感谢您的帮助， bclayman

Answer 1

1. 是的，他们可以，但匹配的列表将不会是空的，所以null函数持有的结果，即[] :: []，这相当于[[]]，不是一个空的列表。

2. 不，这在语法上是无效的。但是，它可以缩短到这一点：

fun null [] = true 
    | null _ = false