ghci 'break' 怪事

Question

3. Prelude> odd 1
4. True
5. Prelude> odd 3
6. True
7. Prelude> odd 10
8. False
9. Prelude> break odd [1,3,10,11]
10. ([],[1,3,10,11])
11. Prelude> break even [1,3,10]
12. ([1,3],[10])
13. Prelude> break odd [1,3,10]
14. ([],[1,3,10])
16. Prelude> break even [1,2,3,4,5,6,7,8,9,10]
17. ([1],[2,3,4,5,6,7,8,9,10])

复制代码

这个怎么解释呢？

[ 本帖最后由 drunkedcat 于 2008-10-2 10:59 编辑 ]

Answer 1

原帖由 drunkedcat 于 2008-10-2 11:05 发表
我还以为是像 map 那样挨个检查然后分组呢。

这个是 partition 的功能：

Prelude> :m Data.List
Prelude Data.List> partition even [1,2,3,4,5,6,7,8,9,10]
([2,4,6,8,10],[1,3,5,7,9])
Prelude Data.List>

Answer 2

汗。
理解错了。
原来 break 是把第一个返回 True 的元素和它后面的作为后一组，之前的作为前一组，我还以为是像 map 那样挨个检查然后分组呢。
不好意思。