了解elem和isInfixOf函数

Question

不久前，我在这里询问了有关函数elem 问题，但我认为答案并不完全令人满意。 我的问题是关于表达式：

any (`elem` [1, 2]) [1, 2, 3]

我们知道elem属于反引号，因此elem是一个中缀，我的解释是：

1 `elem` [1, 2] -- True
2 `elem` [1, 2] -- True
3 `elem` [1, 2] -- False

最后，它将返回True因为它是any而不是all 。 直到我看到与isInfixOf类似的表达式为止，这看起来不错：

any (isInfixOf [1, 2, 3]) [[1, 2, 3, 4], [1, 2]]

在这种情况下，一个合理的解释似乎是：

isInfixOf [1, 2, 3] [1, 2, 3, 4] -- True
isInfixOf [1, 2, 3] [1, 2]       -- False

我不知道为什么自从

any (elem [1, 2]) [1, 2, 3]

会给出错误，所以也会

any (`isInfixOf` [[1, 2, 3, 4], [1, 2]]) [1, 2, 3]

Answer 1

您的问题在于(** a)语法糖。 问题是(elem b)只是elem的部分应用，即：

(elem b) == (\xs -> elem b xs)

但是，当我们使用反斜杠使elem infix时，我们为infix运算符获得了一种特殊的语法，其工作方式如下：

(+ a) == (\ b -> b + a)
(a +) == (\ b -> a + b)

因此，

(`elem` xs) == (\a -> a `elem` xs) == (\ a -> elem a xs)

而

(elem xs) == (\a -> elem xs a)

因此，在后一种情况下，您的参数顺序错误，这就是代码中发生的情况。

请注意， (** a)语法糖适用于所有中缀运算符，但-也是前缀运算符。 此处和此处讨论了该规则的例外情况。

Answer 2

在函数名称周围使用反引号会将其转换为中缀运算符。 所以

x `fun` y

是相同的

fun x y

Haskell还具有运算符部分，fe (+ 1)表示\\x -> x + 1 。

所以

(`elem` xs)

是相同的

\x -> x `elem` xs

要么

\x -> elem x xs

要么

flip elem xs

Answer 3

isInfixOf [1, 2, 3]返回一个需要一个参数的函数。

any (elem [1, 2]) [1, 2, 3]是错误的，因为您正在寻找元素[1, 2] ，并且列表仅包含数字，因此haskell无法匹配类型。