比较 Haskell 中的列表

Question

我一直在尝试比较 Haskell 中的两个列表并找到答案 here。

我想知道all (flip elem listx) input 是如何工作的，尤其是flip 在这里扮演的角色。

当我取出 flip 时，它不再起作用了。

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.