尝试写一个免费的功能点，GHCI不批准

Question

作为练习，我尝试手动实现前奏中有趣的部分。每当我发现一个免费得分的机会时，我都会抓住它。然而，这让我在最不可能的地方遇到了一堵砖墙。使用此代码：

myelem _ [] = False 
myelem x y  = if x == head y then True else myelem x (tail y)

我正在尝试实现 notElem。这是我的尝试：

-- First
mynotelem = not myelem

可以理解的是，由于类型不匹配而导致崩溃。这很容易修复：

-- Second
mynotelem x y = not (myelem x y)

然而，参数 x 和 y 的显式声明感觉很丑陋且不必要，所以我尝试将其恢复为点自由风格。

-- Third
mynotelem = not $ myelem

公平地说，这失败了

 Couldn't match expected type `Bool'
         with actual type `a0 -> [a0] -> Bool'
 In the second argument of `($)', namely `myelem'
 In the expression: not $ myelem
 In an equation for `mynotelem': mynotelem = not $ myelem

，类型仍然不匹配。但如何解决呢？同样，您可以直接跳到

-- Fourth
mynotelem x y = not $ myelem x y

“哪个有效”，但似乎很危险地接近于原地踏步。我发现可以消除其中一个论点：

-- Fifth
mynotelem x = not . (myelem x)

但是那个讨厌的 x 仍然存在。我该如何消除它？

Answer 1

我们可以这样重写您的代码：

mynotelem x = not . (myelem x)
            = (not .) (myelem x)

现在认识到这只是 hx = f (gx) 以及 f = (not .) 和 g = myelem code>，因此我们可以使用 (.) 运算符将其编写为无点的，如 h = f 。 g：

mynotelem = (not .) . myelem

注意当与具有更多参数的函数组合时，模式如何继续：

> let f x y z = x+y+z
> (((sqrt .) .) . f) 1 2 3
2.449489742783178

或者，您也可以使用这种看起来有趣的组合运算符组合来编写它：

mynotelem = ((.).(.)) not myelem

对于更多参数，模式继续如下：

> ((.).(.).(.)) sqrt f 1 2 3
2.449489742783178