了解 elem 和 isInfixOf 函数

Question

前段时间我问了一个关于函数elemhere的问题，但我认为答案并不完全令人满意。我的问题是关于表达式：

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 中缀时，我们会得到一种用于中缀运算符的特殊语法，其工作方式如下：

(+ 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) 语法糖适用于除 - 之外的所有中缀运算符，因为它也是前缀运算符。讨论了规则中的这个例外here 和here。

Answer 2

在函数名周围使用反引号会将其变成中缀运算符。所以

x `fun` y

与

相同

fun x y

Haskell 也有操作符部分，例如 f.e. (+ 1) 表示 \x -> x + 1。

所以

(`elem` xs)

与

相同

\x -> x `elem` xs

或

\x -> elem x xs

或

flip elem xs

Answer 3

它叫partial application。

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

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