partial function 也可以这样用(infix的）

izhier

我们通常写代码是这样写的：

1. 
   
2. add2 x = x + 2
   
3. 
   
4. mySum xs = foldr (+) 0 xs
   

复制代码

但 partial function 为我们提供了一个简写的方法
例如：

1. 
   
2. add2 = (+2)
   
3. 
   
4. mySum = foldr (+) 0
   

复制代码

上面的 "(+2)" 和 "foldr (+) 0" 就是 partial function

1. 
   
2. Main> :t add2
   
3. add2 :: Integer -> Integer
   
4. Main> :t mySum
   
5. mySum :: [Integer] -> Integer
   
6. Main> :t (+2)
   
7. flip (+) 2 :: Num a => a -> a
   
8. Main> :t foldr (+) 0
   
9. foldr (+) 0 :: Num a => [a] -> a
   

复制代码

这里的 (+2) 很特殊，也可以写为 (2+)

原来一直以为只有 + - * / ^ 等这几个运算符可以这样，没想到下面也可以
可以试试这一个：

1. 
   
2. eachBy = (`map` [1, 2, 3, 4])
   
3. addEach2To = ((+2) `map`)
   

复制代码

1. 
   
2. Main> eachBy (+2)
   
3. [3,4,5,6]
   
4. Main> addEach2To [1, 2, 3, 4]
   
5. [3,4,5,6]
   

复制代码

infix 函数 partial function　有两种形式，一种与第一个参数结合，另一种是与与第二个参数结合

[ 本帖最后由 izhier 于 2009-4-2 16:02 编辑 ]

flw

(+2) 和 (2+) 一样是因为加法符合交换律，不然还是有区别的。

izhier

顺便问一下：
partial function 返回值是一个函数吗 ?

是不是所有返回值为函数的函数都为　partial function ?

izhier

原帖由 flw 于 2009-4-2 16:03 发表
(+2) 和 (2+) 一样是因为加法符合交换律，不然还是有区别的。

应该不是这样吧
那 map　也有交换律？
^ 是没有交换律的，但也可以呀？

1. 
   
2. Main> (^2) 3
   
3. 9
   
4. Main> (3^) 2
   
5. 9
   

复制代码

之所以这两个都可以应该是因为 "+ " 为　infix 类型的吧 ?

[ 本帖最后由 izhier 于 2009-4-2 16:15 编辑 ]

MMMIX

原帖由 izhier 于 2009-4-2 16:04 发表
顺便问一下：
partial function 返回值是一个函数吗 ?

是的。你可以在 GHCi 中使用 :t 查看它的类型。

是不是所有返回值为函数的函数都为　partial function ?

这个看你怎么理解了，你也可以将那个返回的函数看作原来函数的返回值。在 functional 语言中，function 是 first-class 对象。

flw

嗯。同意 MMMIX。
至于下面那个问题……
我就不回答了。你自己琢磨琢磨。

MMMIX

原帖由 izhier 于 2009-4-2 16:07 发表

应该不是这样吧
那 map　也有交换律？
^ 是没有交换律的，但也可以呀？

Main> (^2) 3
9
Main> (3^) 2
9

可以这么用是一回事，这么用了以后效果相同不相同是另外一回事情。

win_hate

说一下 -，与 +, *, /, ^ 相比，它有点特别。


(1-) 是 \x-> 1-x

但 (-1) 或 (- 1) 都是 -1。这是因为 - 在此处被识别成单目运算符了。

如果想用 section 实现 \x->x-1, 要这样写

1. 
   
2. (+ (-1))
   

复制代码

或者用 substract

1. 
   
2. (substruct 1)
   

复制代码

izhier

这样也可以：

1. 
   
2. Main> ((-) 1) 1
   
3. 0
   

复制代码

win_hate

原帖由 izhier 于 2009-4-2 16:37 发表
这样也可以：

Main> ((-) 1) 1
0

不一样的。 你这个等价与 (1-)