haskell 多元无点复合

vjrehmav 于 2023-01-17 发布在其他

关注(0)|答案(4)|浏览(106)

我已经开始理解它了，我更喜欢在简单的情况下使用它，在这种情况下，我可以将值从一个输出管道传输到一个输入。

let joinLines = foldr (++) "" . intersperse "\n"

在今天使用GHCI时，我想看看是否可以组合not和(==)来复制(/=)，但我无法真正推理出来。(==)接受两个输入，not接受一个输入。我认为这可能会起作用：

let ne = not . (==)

假设(==)的单个Bool输出将转到not，但它不会编译，引用以下错误：

<interactive>:1:16:
    Couldn't match expected type `Bool' with actual type `a0 -> Bool'
    Expected type: a0 -> Bool
      Actual type: a0 -> a0 -> Bool
    In the second argument of `(.)', namely `(==)'
    In the expression: not . (==)

我希望我能说它对我意义重大，但我得到的只是，传递给(==)的第二个参数可能会把not的事情搞砸，有人能帮助我更好地理解这个组合背后的逻辑吗？

haskell

来源：https://stackoverflow.com/questions/12409572/pointfree-composition-with-multiple-variables

4条答案

按热度按时间

dgjrabp21#

如果一次只删除一个参数，则会得到

ne x y = not (x == y)
       = (not . (x ==)) y
ne x   = not . (x ==)
       = not . ((==) x)
       = ((not .) . (==)) x
ne     = (not .) . (==)

基本上，对于每个参数，都需要一个正确关联的(.)。
(==)的类型是Eq a => a -> a -> Bool，所以如果你写whatever . (==)，并传递一个值x，你得到whatever ((==) x)，但是(==) x是一个函数a -> Bool（其中a是x的类型，也是Eq的示例），所以(==)必须接受函数类型的参数。