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

Question

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

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

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

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

复制代码
上面的 "(+2)" 和 "foldr (+) 0" 就是 partial function

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+)

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

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

复制代码

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 编辑 ]

Answer 1

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

Main> ((-) 1) 1
0

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

Answer 2

这样也可以：

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

复制代码

Answer 3

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

(1-) 是 x-> 1-x

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

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

2. (+ (-1))

复制代码

或者用 substract

2. (substruct 1)

复制代码

Answer 4

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

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

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

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

Answer 5

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

Answer 6

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

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

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

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

Answer 7

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

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

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

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

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

Answer 8

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

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

Answer 9

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