试图免费写一个功能点，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)

现在认识到这只是h x = f (g x) 与f = (not .) 和g = myelem，所以我们可以用(.) 运算符作为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