list - 改进我所有功能的 Haskell 代码

Question

我正在尝试在 Haskell 中实现所有功能，它工作正常但我认为我的基本情况不好，如果我将基本情况的结果设置为 False 它更有意义，我的意思是不是一个成员空列表真实地通过了测试条件，所以答案应该是假的，但另一方面，如果我将它定义为假，整个功能将无法正常工作。

all' test [] = True 
all' test (x:xs)
    | not (test x) = False
    | otherwise = all' test xs

Answer 1

考虑一下:对于空列表，谓词适用于列表中的所有元素。

为什么？因为没有违反它的元素。

因此空列表的基本情况是True。