如何检查两组的显式并集是否为空？

Question

下面是我的两个列表的显式联合的代码。 我将如何获得列表的长度而不是列表本身？

explicit_union :: (Eq a) => [a] -> [a] -> [a]
explicit_union as bs = foldl (\as b -> if elem b as then as else as ++ [b]) as bs

Answer 1

当且仅当两个集合都为空时，联合为空。 因此，如果您只是为此计算联合，那是在浪费计算时间。

相反，如果为您提供了工会或仍然必须使用工会，则长度是最自然的方法。

但是，由于您只想知道它是否为空，因此可以使用take 1 ls == []代替length ls == 0 。 这样，Haskell（这是一种惰性语言）只需要计算第一个元素，而不需要计算整个列表（因为length需要）

编辑

正如@joseph指出的那样，有一个Prelude函数来检查列表是否为空： null :: [a] -> Bool