通过合成和部分应用程序haskell添加值

Question

我正在尝试使用Haskell编写此函数，将其应用到合成和部分应用程序中：

function m n = (m^2) + n

我尝试使用：

function m = (m^2).(+)

Answer 1

这种方法的问题在于(+)是二进制运算符。 由于您将其放在圆点的右侧. ，它将不会应用于左操作数。 所以你写了：

function :: Num a => a -> a -> a
function m = (.) (m^2) (+)  -- wrong

这是以下简称：

function m = \n -> ((m^2) ((+) n))

因此，这意味着(+) n将产生一个函数(n+)并且我们将该函数应用于(m^2)的结果，这没有多大意义。

但是，您可以简单地使用：

function :: Num a => a -> a -> a
function m = (+) (m^2)

要么：

function :: Num a => a -> a -> a
function m = ((m^2) +)

给定function m = (+) (m^2) ，如果将n应用于该函数，则将获得：

((+) (m^2)) n
-> (+) (m^2) n
-> (m^2) + n

您可以使用以下命令进一步修改该function并删除m参数：

function :: Num a => a -> a -> a
function = (+) . (^ 2)

哪个语法糖适用于：

function :: Num a => a -> a -> a
function = (.) (+) (^2)

如果我们现在在函数上应用m ，它将得出：

((.) (+) (^2)) m
-> (\x -> (+) ((^2) x)) m
-> (+) ((^2) m)
-> (+) (m^2)

这样我们就可以像上一条命令一样获得状态。