点(.)和美元符号($)的区别是什么?
根据我的理解,它们都是不需要使用括号的语法糖。
点(.)和美元符号($)的区别是什么?
根据我的理解,它们都是不需要使用括号的语法糖。
当前回答
我的规则很简单(我也是初学者):
不要使用。如果要传递参数(调用函数),和 如果没有参数,不要使用$(合成一个函数)
这是
show $ head [1, 2]
但从来没有:
show . head [1, 2]
其他回答
... 或者你可以避免。和$ structures使用管道:
third xs = xs |> tail |> tail |> head
这是在你添加了helper函数之后:
(|>) x y = y x
它们有不同的类型和不同的定义:
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链中,除了最后一个,其他的都可以被。
我的规则很简单(我也是初学者):
不要使用。如果要传递参数(调用函数),和 如果没有参数,不要使用$(合成一个函数)
这是
show $ head [1, 2]
但从来没有:
show . head [1, 2]
还要注意,($)是专门用于函数类型的标识函数。恒等函数是这样的:
id :: a -> a
id x = x
While($)是这样的:
($) :: (a -> b) -> (a -> b)
($) = id
注意,我有意在类型签名中添加了额外的括号。
($)的使用通常可以通过添加圆括号来消除(除非在节中使用运算符)。例如:f $ g x变成f (g x)。
(.)的使用通常稍难替换;它们通常需要一个lambda或显式函数形参的引入。例如:
f = g . h
就变成了
f x = (g . h) x
就变成了
f x = g (h x)
学习任何东西(任何函数)的一个好方法是记住所有东西都是函数!一般的咒语是有帮助的,但在特定的情况下,比如运算符,它有助于记住这个小技巧:
:t (.)
(.) :: (b -> c) -> (a -> b) -> a -> c
and
:t ($)
($) :: (a -> b) -> a -> b
只需记住大量使用:t,并将操作符包装在()中!