比较Haskell中的列表

Question

我一直在尝试比较Haskell中的两个列表并找到答案here
我想知道如何 all (flip elem listx) input
特别适合翻转在这里扮演的角色 当我拿出翻转时，它将不再起作用。

Answer 1

1. flip elem listx相当于(flip elem) listx。
2. (flip elem)与elem相同，但参数顺序相反。这就是flip的作用。
3. elem是一个接受元素和列表的函数，并检查该元素是否属于列表。
4. 所以flip elem是一个接受列表和元素的函数，并检查该元素是否属于列表。
5. 因此flip elem listx是一个接受元素的函数，并检查该元素是否属于listx。
6. 现在all接受谓词和列表，并检查列表中的所有元素是否满足谓词。
7. all (flip elem listx)获取一个列表，并检查列表中的所有元素是否都满足flip elem listx。也就是说，它们是否都属于listx。
8. all (flip elem listx) input会检查input的所有元素是否属于listx。
9. Q.E.D。