使用算术类型函数在Haskell中编写函数

Question

我现在正在学习Haskell，我正在尝试使用函数组合。

我写了两个函数。

let func1 xy = x + y

let func2 t = t*2

但是，当我尝试编写这两个函数时， func2 . func1 1 2 func2 . func1 1 2我期待得到6分。

相反，我收到此错误：

   No instance for (Num (a -> b))
      arising from a use of `func1' at <interactive>:1:8-16
    Possible fix: add an instance declaration for (Num (a -> b))
    In the second argument of `(.)', namely `func1 1 2'
    In the expression: func2 . func1 1 2
    In the definition of `it': it = func2 . func1 1 2

有人可以解释为什么这不起作用？

Answer 1

函数应用程序优先于任何运算符，因此您的组合被解析为func2 . (func1 1 2) func2 . (func1 1 2) 。 也就是说，您的代码尝试将func1 1 2的结果编号组成，就像它是一个函数一样。 请注意， (func2 . func1) 1 2也不起作用，因为(.)仅适用于一元函数。

你可以使用(func2 . func1 1) 2 ，或者以我个人不太熟悉的方式多次使用(.)实话。 但是在这种特殊情况下根本不使用合成可能更好： func2 $ func1 1 2做同样的事情而且杂乱少。

Answer 2

由于幸运的错误（分配法），您可以使用Data.Function.on执行此Data.Function.on

import Data.Function

func1 x y = x + y
func2 t = t*2

func3 = func1 `on` func2

-- or just func3 = (+) `on` (2*)

一般来说，你应该只使用$来做这类事情，因为这就是你正在做的功能应用程序。 这不是一个真正的作品，所以如果你使用作曲，那么你正试图将方形钉子塞进一个圆孔中。

Answer 3

你要做的不是函数组合：你试图将func1 1 2应用于func2 ，这就是$运算符的用途。

func2 $ func1 1 2