点(.)和美元符号($)的区别是什么?
根据我的理解,它们都是不需要使用括号的语法糖。
点(.)和美元符号($)的区别是什么?
根据我的理解,它们都是不需要使用括号的语法糖。
当前回答
其他答案都很好。但是关于ghc如何处理$有一个重要的可用性细节,ghc类型检查器允许用更高等级/量化的类型进行初始化。例如,如果你看$ id类型你会发现它将接受一个参数本身是多态函数的函数。类似这样的小事情在等效的打乱操作符中没有相同的灵活性。(这实际上让我怀疑$!是否值得同样的待遇)
其他回答
哈斯克尔:区别。(点)和$(美元符号) 点(.)和美元符号($)的区别是什么?根据我的理解,它们都是不需要使用括号的语法糖。
它们不是不需要括号的语法糖——它们是固定的函数,因此我们可以称它们为操作符。
撰写,(.),以及何时使用它。
(.)为合成函数。所以
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是一个由函数组合创建的函数。
其他答案都很好。但是关于ghc如何处理$有一个重要的可用性细节,ghc类型检查器允许用更高等级/量化的类型进行初始化。例如,如果你看$ id类型你会发现它将接受一个参数本身是多态函数的函数。类似这样的小事情在等效的打乱操作符中没有相同的灵活性。(这实际上让我怀疑$!是否值得同样的待遇)
关于$最重要的部分是它具有最低的操作符优先级。
如果你输入info,你会看到:
λ> :info ($)
($) :: (a -> b) -> a -> b
-- Defined in ‘GHC.Base’
infixr 0 $
这告诉我们它是一个具有右结合性的中缀运算符,具有最低的可能优先级。普通函数应用程序是左关联的,具有最高优先级(10)。$正好相反。
所以我们在普通函数application或using()不起作用的地方使用它。
例如,这是可行的:
λ> head . sort $ "example"
λ> e
但这不是:
λ> head . sort "example"
因为。(sort "example")的优先级比sort低,类型是[Char]
λ> :type (sort "example")
(sort "example") :: [Char]
但是。需要两个函数,没有一个简单的方法来实现因为排序和操作的顺序。
我的规则很简单(我也是初学者):
不要使用。如果要传递参数(调用函数),和 如果没有参数,不要使用$(合成一个函数)
这是
show $ head [1, 2]
但从来没有:
show . head [1, 2]