Haskell 美元运算符应用程序

Question

这个问题在这里已经有了答案:





What does $ mean/do in Haskell?

(2 个回答)


5年前关闭。




我无法理解函数应用程序如何与 Haskell 中的柯里化(Currying)一起工作。
如果我有以下功能:

($) :: (a -> b) -> a -> b

我了解要部分应用此功能，我需要提供 (a -> b)函数( $ 的第一个参数)。

那么为什么可以先应用一个值(即反向参数)？

($ 0) :: Num a => (a -> b) -> b

我在这里想念什么？

Answer 1

($)是一个运算符。在 Haskell 中，任何运算符都可以写在左侧(如 (x $) )或右侧(如 ($ x) ):

(x $) = (\y -> x $ y) = ($) x
($ x) = (\y -> y $ x) = flip ($) x

请注意，此规则的唯一异常(exception)是 (-) ，为了方便写负数:

\x -> (x-) :: Num a => a -> a -> a  -- equivalent to \x -> (-) x
\x -> (-x) :: Num a => a -> a       -- equivalent to \x -> negate x

如果你想简洁地写 (\y -> y - x) , 你可以使用 subtract :

\x -> subtract x :: Num a => a -> a -> a  -- equivalent to \x -> flip (-) x