比较Haskell中的列表

Question

我一直在尝试比较Haskell中的两个列表并在这里找到答案
我想知道如何在这里
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. QED