点(.)和美元符号($)的区别是什么?

根据我的理解,它们都是不需要使用括号的语法糖。


当前回答

学习任何东西(任何函数)的一个好方法是记住所有东西都是函数!一般的咒语是有帮助的,但在特定的情况下,比如运算符,它有助于记住这个小技巧:

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

and

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

只需记住大量使用:t,并将操作符包装在()中!

其他回答

一个很有用的应用程序,我花了一些时间从Learn You a Haskell非常简短的描述中弄清楚:Since

f $ x = f x

在包含中缀运算符的表达式的右边加圆括号将其转换为前缀函数,可以将($ 3)(4 +)写成类似于(++ ",world")“你好”。

为什么会有人这么做?例如,对于函数列表。两个:

map (++ ", world") ["hello", "goodbye"]
map ($ 3) [(4 +), (3 *)]

map (\x -> x ++ ", world") ["hello", "goodbye"]
map (\f -> f 3) [(4 +), (3 *)]

显然,后一种变体对大多数人来说更具可读性。

($)允许函数链接在一起,而不需要添加括号来控制求值顺序:

Prelude> head (tail "asdf")
's'

Prelude> head $ tail "asdf"
's'

复合操作符(.)创建一个新函数,但不指定参数:

Prelude> let second x = head $ tail x
Prelude> second "asdf"
's'

Prelude> let second = head . tail
Prelude> second "asdf"
's'

上面的例子可以说是说明性的,但并没有真正显示使用组合的便利性。这里还有一个类比:

Prelude> let third x = head $ tail $ tail x
Prelude> map third ["asdf", "qwer", "1234"]
"de3"

如果我们只使用一次third,我们可以通过使用lambda来避免命名:

Prelude> map (\x -> head $ tail $ tail x) ["asdf", "qwer", "1234"]
"de3"

最后,复合让我们避免lambda:

Prelude> map (head . tail . tail) ["asdf", "qwer", "1234"]
"de3"

哈斯克尔:区别。(点)和$(美元符号) 点(.)和美元符号($)的区别是什么?根据我的理解,它们都是不需要使用括号的语法糖。

它们不是不需要括号的语法糖——它们是固定的函数,因此我们可以称它们为操作符。

撰写,(.),以及何时使用它。

(.)为合成函数。所以

result = (f . g) x

这和构造一个函数是一样的,它把参数的结果传递给g,再传递给f。

h = \x -> f (g x)
result = h x

当没有参数可以传递给想要组合的函数时,请使用(.)。

右结合应用($),以及何时使用它

($)是一个具有低绑定优先级的右关联apply函数。所以它只是先计算它右边的数。因此,

result = f $ g x

与此相同,在程序上(这很重要,因为Haskell是惰性求值的,它会先开始求f):

h = f
g_x = g x
result = h g_x

或者更简洁地说:

result = f (g x)

如果在将上述函数应用于结果之前,需要计算所有变量,则使用($)。

我们可以通过读取每个函数的源代码来了解这一点。

阅读原文

下面是(.)的源代码:

-- | Function composition.
{-# INLINE (.) #-}
-- Make sure it has TWO args only on the left, so that it inlines
-- when applied to two functions, even if there is no final argument
(.)    :: (b -> c) -> (a -> b) -> a -> c
(.) f g = \x -> f (g x)

下面是($)的源代码:

-- | Application operator.  This operator is redundant, since ordinary
-- application @(f x)@ means the same as @(f '$' x)@. However, '$' has
-- low, right-associative binding precedence, so it sometimes allows
-- parentheses to be omitted; for example:
--
-- >     f $ g $ h x  =  f (g (h x))
--
-- It is also useful in higher-order situations, such as @'map' ('$' 0) xs@,
-- or @'Data.List.zipWith' ('$') fs xs@.
{-# INLINE ($) #-}
($)                     :: (a -> b) -> a -> b
f $ x                   =  f x

结论

在不需要立即计算函数时使用复合。也许你想把合成的结果传递给另一个函数。

当您提供所有参数进行完整计算时,请使用application。

所以对于我们的例子,从语义上来说,做是更好的选择

f $ g x

当我们有x(或者更确切地说,g的参数),然后做:

f . g

当我们不这样做的时候。

我想举个简短的例子。而不是$将有助于澄清事情。

double x = x * 2
triple x = x * 3
times6 = double . triple

:i times6
times6 :: Num c => c -> c

请注意,times6是一个由函数组合创建的函数。

$操作符用于避免括号。在它之后出现的任何东西都会优先于在它之前出现的任何东西。

例如,假设你有一行是这样写的:

putStrLn (show (1 + 1))

如果你想去掉这些括号,下面的任何一行也会做同样的事情:

putStrLn (show $ 1 + 1)
putStrLn $ show (1 + 1)
putStrLn $ show $ 1 + 1

的主要目的。运算符不是为了避免圆括号,而是为了链函数。它允许您将右边出现的任何输出与左边出现的任何输入联系起来。这通常也会导致括号更少,但工作方式不同。

回到同样的例子:

putStrLn (show (1 + 1))

(1 + 1)没有输入,因此不能与。操作符。 show可以接受Int类型并返回String类型。 putStrLn可以接受String并返回IO()。

你可以这样链式显示strln:

(putStrLn . show) (1 + 1)

如果括号太多,可以用$操作符去掉:

putStrLn . show $ 1 + 1