"programming in haskell"第5章的习题5

caijimin

Show how the single comprehension [(x , y) | x ← [1, 2, 3], y ← [4, 5, 6]] with two generators can be re-expressed using two comprehensions
with single generators. Hint: make use of the library function concat
and nest one comprehension within the other

这个做法对吗? 我总有点不是很理解
concat [ [ (x,y) | y <- [4,5,6] ] | x <- [1,2,3] ]

win_hate

对的。

哪里不理解？

[ [(x,y) | ...] | x<-[1,2,3] ]

生成一个列表，此列表的元素类型为列表，所以最后用个 concat 接起来。

win_hate

如果用 scheme 来写，除去 concat 的部分，将会是

1. 
   
2. (define (make-lists X Y)
   
3.   (map (lambda (x) (map (lambda (y) (list x y)) Y)) X))
   

复制代码

1. 
   
2. > (make-lists '(1 2 3) '(4 5 6))
   
3. (((1 4) (1 5) (1 6)) ((2 4) (2 5) (2 6)) ((3 4) (3 5) (3 6)))
   

复制代码

对比着看一下，应该容易理解了吧。

SICP 中介绍了一个 flatmap，如果把第一个 map 换成 flatmap，可以得到 concat 后的结果。

caijimin

原帖由 win_hate 于 2008-10-8 18:06 发表
对的。

哪里不理解？

[ [(x,y) | ...] | x

我老以为single generators是指的只能出现一个变量x而不能出现2个如x,y
所以想了半天才弄出来,还不敢肯定是否正确

win_hate

二元函数都可以被 curring 成一元来处理。

虽然不太确定，但 Haskell 可能正是以你给出的方式来实现 [(x,y) | x<-..., y<- ...] 的。

MMMIX

原帖由 win_hate 于 2008-10-8 18:58 发表

虽然不太确定，但 Haskell 可能正是以你给出的方式来实现 [(x,y) | x<-..., y<- ...] 的。

没错，不过 generator 求值的顺序有差别。

见 Haskell 98 Report 3.11  List Comprehensions  http://www.haskell.org/onlinereport/exps.html

[ 本帖最后由 MMMIX 于 2008-10-8 19:29 编辑 ]

MMMIX

原帖由 caijimin 于 2008-10-8 18:31 发表

我老以为single generators是指的只能出现一个变量x而不能出现2个如x,y

| 后面那些叫做 generator