我也给个惰性求值的例子： fibonacci 数列

Question

2. #lang lazy
4. (define (fibgen a b)
5.   (cons a (fibgen b (+ a b))))
7. (define fib (fibgen 0 1))

复制代码

2. > (list-ref fib 100)
3. 354224848179261915075

复制代码

Answer 1

那个...SICP的4.2里有提及,在Lazy下,List可以当Stream用.
而且List的car也是lazy的,所以可以写出Lazy binary tree这种数据结构...

Answer 2

终极版

f = 1 : 1 : zipWith (+) f (tail f)

Answer 3

再来：

fb=1:1: (zipWith (+) fb  (tail fb))

Answer 4

我也给一个

fibonaccis = 1 : 1 : [x+y | (x, y) <- zip fibonaccis (tail fibonaccis)]

[ 本帖最后由 izhier 于 2009-5-1 16:10 编辑 ]

Answer 5

原帖由 win_hate 于 2008-9-22 11:56 发表

跟你那个比，最大的区别在哪里呢？ 难道我这个勤劳一点?

其实这个和 lazy 不 lazy 的没什么关系，我们俩的实现实质上是一样的。不过借这个机会我倒是把 Haskell 的 list comprehension 好好看了一下

Answer 6

原帖由 MMMIX 于 2008-9-22 11:40 发表

在 lazy scheme 中，car/cdr 可都属于 strict 操作。

跟你那个比，最大的区别在哪里呢？ 难道我这个勤劳一点?

Answer 7

原帖由 win_hate 于 2008-9-22 11:14 发表
scheme 里也可以自己扩展

pretty cool

[ 本帖最后由 MMMIX 于 2008-9-22 17:33 编辑 ]

Answer 8

scheme 里也可以自己扩展

2. #lang lazy
4. (define (adds s1 s2)
5.   (cons (+ (car s1) (car s2))
6.         (adds (cdr s1) (cdr s2))))
8. (define fibs
9.   (cons 0 (cons 1 (adds fibs (cdr fibs)))))

复制代码

2. > (list-ref fibs 100)
3. 354224848179261915075

复制代码

Answer 9

Haskell 的实现(使用了 GHC 的扩展)

2. {-# OPTIONS_GHC -XParallelListComp #-}
4. module Fibonacci where
5. fibonaccis :: [Integer]
6. fibonaccis = 1 : 1 : [ x + y | x <- fibonaccis | y <- tail fibonaccis ]

复制代码