Haskell 中 until 函数怎么用呀 ？

Question

2. Prelude> :t until
3. until :: (a -> Bool) -> (a -> a) -> a -> a
4. Prelude> until (>4) (+2) 0
5. 6
6. Prelude> until (>5) (+2) 0
7. 6
8. Prelude> until (>6) (+2) 0
9. 8
10. Prelude> until (>7) (+2) 0
11. 8
12. Prelude> until (>8) (+2) 0
13. 10

复制代码
只知 until 是一个循环函数
试验了一把，还是看不出怎么用，不知其计算流程
它等同的 c 语言代码是什么呀？

Answer 1

interate 类似 mathematica 中的 NestList，但后者需指定次数

NestList[f, x, 3]

{x, f[x], f[f[x]], f[f[f[x]]]}

而 until 则类似 mathematica 中的 NestWhile 或 FixedPoint

NestWhile[# + 2 & , 0, # <= 8 &]

10

FixedPoint[# + 2 &, 0, SameTest -> (#2 > 8 &)]

10

Answer 2

嗯，我表达的不准确

其实我想说的是：两者都有 f (f x) 部分

[ 本帖最后由 izhier 于 2009-4-22 18:43 编辑 ]

Answer 3

原帖由 izhier 于 2009-4-22 13:28 发表
知道了
找到代码了

until          :: (a -> Bool) -> (a -> a) -> a -> a
until p f x     = if p x then x else until p f (f x)

原来是这样
和 iterate 有点相似，只是加了一个条件

返回值完全不同了，而且 p 本身也可以是个很复杂的条件判断。

Answer 4

知道了
找到代码了

until          :: (a -> Bool) -> (a -> a) -> a -> a
until p f x     = if p x then x else until p f (f x)

原来是这样
和 iterate 有点相似，只是加了一个条件

iterate          :: (a -> a) -> a -> [a]
iterate f x       = x : iterate f (f x)

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