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

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


当前回答

我的规则很简单(我也是初学者):

不要使用。如果要传递参数(调用函数),和 如果没有参数,不要使用$(合成一个函数)

这是

show $ head [1, 2]

但从来没有:

show . head [1, 2]

其他回答

其他答案都很好。但是关于ghc如何处理$有一个重要的可用性细节,ghc类型检查器允许用更高等级/量化的类型进行初始化。例如,如果你看$ id类型你会发现它将接受一个参数本身是多态函数的函数。类似这样的小事情在等效的打乱操作符中没有相同的灵活性。(这实际上让我怀疑$!是否值得同样的待遇)

简短而甜蜜的版本:

($)调用作为其左实参的函数对作为其右实参的值进行调用。 (.)将作为其左参数的函数组合到作为其右参数的函数上。

它们有不同的类型和不同的定义:

infixr 9 .
(.) :: (b -> c) -> (a -> b) -> (a -> c)
(f . g) x = f (g x)

infixr 0 $
($) :: (a -> b) -> a -> b
f $ x = f x

($)旨在取代普通的函数应用程序,但在不同的优先级,以帮助避免括号。(.)用于将两个函数组合在一起,生成一个新函数。

在某些情况下,它们是可以互换的,但在一般情况下并非如此。典型的例子是:

f $ g $ h $ x

==>

f . g . h $ x

换句话说,在$s链中,除了最后一个,其他的都可以被。

... 或者你可以避免。和$ structures使用管道:

third xs = xs |> tail |> tail |> head

这是在你添加了helper函数之后:

(|>) x y = y x

我的规则很简单(我也是初学者):

不要使用。如果要传递参数(调用函数),和 如果没有参数,不要使用$(合成一个函数)

这是

show $ head [1, 2]

但从来没有:

show . head [1, 2]