Haskell 中 until 函数怎么用呀 ？

izhier

1. 
   
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 语言代码是什么呀？

izhier

知道了
找到代码了

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

MMMIX

原帖由 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 本身也可以是个很复杂的条件判断。

izhier

嗯，我表达的不准确

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

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

win_hate

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