haskell 中 '$' 能用在哪些地方呢？

flw

注意优先级就可以了。
冒号比 $ 的优先级高。

事实上 $ 的优先级最低。

flw

原帖由 izhier 于 2009-4-11 17:39 发表
$ 是语法糖吗？

$ 是个函数（运算符），只不过优先级特低：

1. *Main> :i ($)
   
2. ($) :: (a -> b) -> a -> b       -- Defined in GHC.Base
   
3. infixr 0 $
   
4. *Main>

复制代码

[ 本帖最后由 flw 于 2009-4-11 17:45 编辑 ]

flw

n :  threeAndOne $ n `div` 2
就等于
(n :  threeAndOne) $ (n `div` 2)
所以是错的。
n :  threeAndOne (n `div` 2)
就等于
n : (threeAndOne (n `div` 2))
所以是对的。

Lisp 用户在这个问题上永远都有资格鄙视别人。

flw

你说的还真对，
$ 就相当于是 apply，
不过 Haskell 中的 apply 运算符实际上就是空白，它的优先级是最高的。
$ 相当于优先级最低的 apply，而且是右结合的。

flw

原帖由 Magicloud 于 2009-4-13 09:40 发表

不考虑优先级，$就等效于“此后内容用括号”。

不正确。
正确的其实是【此前内容用括号包起来，此后内容也用括号包起来】

flw

原帖由 MMMIX 于 2009-4-13 10:30 发表

其实，这个也不是完全准确的，考虑存在多个 $ 的情况。

是啊。所以这样理解终究不是办法，还是老老实实搞清楚 $ 的本意好了。

flw

原帖由 Magicloud 于 2009-4-13 11:05 发表

存在多个也是这样的，一级一级匹配而已。

你这个“一级一级匹配”实际上就是指结合性。

你只要搞清楚 $ 的功能是 apply，优先级是 0，结合性是右结合，就行了。
多么简单明了啊。整那个括号替换完全没必要。