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

Magicloud

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

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

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

我是说给他听的。你那些名词太理性了……

MMMIX

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

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

agreed.

izhier

不知大家知道这个不，今天刚碰到得！
貌似和 $ 差不多
只是
一个是 "call by name"($),一个是 "call by value "($!)
一个是 lazy，一个不是 lazy。

$!

1. 
   
2. Prelude> :i ($!)
   
3. ($!) :: (a -> b) -> a -> b      -- Defined in Prelude
   
4. infixr 0 $!
   
5. Prelude> :i ($)
   
6. ($) :: (a -> b) -> a -> b       -- Defined in GHC.Base
   
7. infixr 0 $
   

复制代码

[ 本帖最后由 izhier 于 2009-4-14 13:27 编辑 ]

Magicloud

原帖由 izhier 于 2009-4-14 13:25 发表
不知大家知道这个不，今天刚碰到得！
貌似和 $ 差不多
只是
一个是 "call by name"($),一个是 "call by value "($!)
一个是 lazy，一个不是 lazy。

$!

Prelude> :i ($!)
($!) :: (a -> b) -> a -> b ...

建议看一下Prelude的库参考。这些都是其中定义的函数。

pass12163com

还是没有完全弄懂

sw2wolf

f $ x = f x

f $! x = x `seq` f x

加了seq, 则要force evaluation了

另外还可以用匿名函数:
Prelude>  let ask f = return "wang" >>= f
Prelude>  ask $ (\d -> putStrLn ("hello "++d))

[ 本帖最后由 sw2wolf 于 2009-5-3 15:44 编辑 ]

izhier

这样不更简单？

Prelude>  let ask f =  f "wang"
Prelude>  ask  $ \d -> putStrLn $ "hello "++d

MMMIX

原帖由 izhier 于 2009-5-3 16:30 发表
这样不更简单？

Prelude>  let ask f =  f "wang"
Prelude>  ask  $ \d -> putStrLn $ "hello "++d

You didn't get it.

izhier

原帖由 MMMIX 于 2009-5-3 16:52 发表

You didn't get it.

What is it ?

MMMIX

原帖由 izhier 于 2009-5-3 17:13 发表

What is it ?

你最近不是在看 monad 么？过两天你就知道了。