双参数Haskell合成

Question

我试图通过Haskell理解函数式编程，但我在处理函数组合时遇到了很多麻烦。

add:: Integer -> Integer -> Integer
add x y =  x + y

sub:: Integer -> Integer -> Integer
sub x y =  x - y

foo:: (Integer -> Integer) -> (Integer -> Integer) -> Integer
foo = add . sub

我所理解的是：

Haskell使用只有一个arg的函数，因此我们在每次函数执行后返回一个新函数来执行。

因此，第一个整数是param类型，而第二个是必须添加第二个数字的生成函数的返回类型。

src\Main.hs:23:7:
    Couldn't match type `Integer' with `Integer -> Integer'
    Expected type: Integer -> (Integer -> Integer) -> Integer
      Actual type: Integer -> Integer -> Integer
    In the first argument of `(.)', namely `add'
    In the expression: add . sub

src\Main.hs:23:13:
    Couldn't match type `Integer -> Integer' with `Integer'
    Expected type: (Integer -> Integer) -> Integer
      Actual type: Integer -> Integer -> Integer
    Probable cause: `sub' is applied to too few arguments
    In the second argument of `(.)', namely `sub'
    In the expression: add . sub

我不知道我做错了什么。

你能帮我更多地理解这个错误吗，这样我就可以找到解决方案了？

Answer 1

给定函数

add :: Integer -> Integer -> Integer

记住类型签名中的->与右侧相关联是很有用的（正如您在我理解的内容一节中指出的那样），即上面的类型与

add :: Integer -> (Integer -> Integer)

现在，考虑(.)的类型：

(.) :: (b -> c) -> (a -> b) -> a -> c

(.) add

b ~ Integer
c ~ Integer -> Integer

(.) add :: (a -> Integer) -> a -> (Integer -> Integer)

我怀疑您可能希望组合包含三个参数：两个用于将sub应用到其中，然后将其结果连同第三个参数一起传递给add。因此，组成这两个函数的一个可能的定义是

foo :: (Integer -> Integer -> Integer) -> (Integer -> Integer -> Integer) -> Integer -> Integer -> Integer
foo f g x y = f (g x y) y

值得注意的是，还有一个相关的问题：用一个参数函数组成一个两参数函数，例如组成