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

win_hate

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

复制代码

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

复制代码

MMMIX

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

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

复制代码

win_hate

scheme 里也可以自己扩展

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

复制代码

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

复制代码

MMMIX

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

pretty cool

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

win_hate

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

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

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

MMMIX

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


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

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

izhier

我也给一个

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

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

win_hate

再来：

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

izhier

终极版

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

PeterGhostWolf

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