haskell - 找出函数的作用

Question

c a = (a\\).(a\\)

我知道(\\)=foldl(翻转删除)它是标准函数。

delete x [] = []
delete x (y:ys) = if x == y then ys else y : delete x ys 

我想知道我可以找出函数 c 的作用。我应该怎么办？如果我只关注 (a\\)delete 需要一个列表和一个我们要从列表中删除的 x。(a\\) 已经进入列表 a，因此我们需要发送要删除的值 x。 a=[a1,a2,a3]

foldl => (a1 'f' x) 'f' a2) 'f' a3  

其中f是翻转删除。

因此，我们从 a 的第一个元素中删除 x，并从结果列表中删除子列表 a2 和 a3。所以我们将得到 a1 所特有的所有值。看起来 a 是一个列表列表。不知道是否正确。

Answer 1

当在具有唯一元素的列表上使用时，(as\\bs) 就像集合差异，即 as 的集合不是 bs。因此

c as bs = as \\ (as \\ bs)

因此，它计算 as 的集合，它们也是 bs，因此是交集。