通配符在標準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