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

Magicloud

原帖由 izhier 于 2009-4-12 22:54 发表
原来一直认为使用 $ 等效为：
替换 '$' 为 '('，行尾再加一个 ')'

看来没这么简单！
还要考虑优先级

不考虑优先级，$就等效于“此后内容用括号”。
“只是 $ 函数只支持一个参数的函数，并且是 infix”，没这说法吧。我以前说过，infix是语法糖，不要针对他来讨论语法。

flw

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

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

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

MMMIX

这有个 $ 的文章，讲的很透彻，建议看看
http://www.libra-aries-books.co. ... l/dollar/index.html

MMMIX

原帖由 flw 于 2009-4-13 10:19 发表

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

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

flw

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

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

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

izhier

原帖由 Magicloud 于 2009-4-13 09:40 发表
我以前说过，infix是语法糖

infix是语法糖？
最终转换为 prefix ？

那 prefix 函数
`function` (infix) 这样用
是否也是语法糖 ？

Magicloud

原帖由 izhier 于 2009-4-13 10:42 发表

infix是语法糖？
最终转换为 prefix ？

那 prefix 函数
`function` (infix) 这样用
是否也是语法糖 ？

1 + 2 等效于 (+) 1 2
take 1 [0, 1] 等效于 1 `take` [0, 1]
无论是(+)还是`take`，其目的是代码的美观易读，对于程序逻辑没有丝毫影响。

Magicloud

原帖由 flw 于 2009-4-13 10:19 发表

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

嗯，我忽略“haskell函数只有一个参数”这条了。

Magicloud

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

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

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

flw

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

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

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

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