如何在Guile方案中使用懒惰评估？

Question

我写了一个代码，它使用延迟评估来产生无限的数据结构，但有一个错误。

下面是代码：

#!/usr/bin/guile \ 
-e main -s 
!# 
(define ints-f 
    (lambda (n) 
     (let ((n1 (delay (ints-f (+ n 1))))) 
     (cons n (force n1))))) 
(define (main args) 
    (display (car (ints-f 3))) 
    (newline) 
    ) 

这使得它说堆栈溢出错误。这意味着即使没有呼叫，力量也正在执行。如何纠正这一点？

#!/usr/bin/guile \ 
-e main -s 
!# 
(define ints-f 
    (lambda (n) 
     (let ((n1 (delay (ints-f (+ n 1))))) 
     (cons n n1)))) 
(define (main args) 
    (display (car (ints-f 3))) 
    (newline) 
    ) 

上面的代码是给3个预期的输出，但如果我在代码中使用的CDR如下

#!/usr/bin/guile \ 
-e main -s 
!# 
(define ints-f 
    (lambda (n) 
     (let ((n1 (delay (ints-f (+ n 1))))) 
     (cons n n1)))) 
(define (main args) 
    (display (cdr (ints-f 3))) 
    (newline) 
    ) 

它打印一个承诺对象。

如何在guile方案中使用懒惰评估？

Answer 1

第一个代码片段不正确，您在构建序列时强制使用该值，从而破坏了懒惰评估的整个目的。在另一方面，第二片段看起来正确的 - 虽然它可以简化一下：

(define (ints-f n) 
    (cons n (delay (ints-f (+ n 1))))) 

这是正常得到调用cdr当一个承诺，它与delay建立一个thunk只会产生它的价值当force d。事实上，如果你想窥视到一个无限序列的元素，你将不得不使用一个程序遍历部分你有兴趣：

(define (take seq n) 
    (if (= n 0) 
     '() 
     (cons (car seq) 
      (take (force (cdr seq)) (- n 1))))) 

同理：

(define (get seq idx) 
    (if (= idx 0) 
     (car seq) 
     (get (force (cdr seq)) (- idx 1)))) 

例如：

(take (ints-f 5) 5) 
=> '(5 6 7 8 9) 

(get (ints-f 5) 5) 
=> 10 

Answer 2

您是否在尝试创建流？你可能希望参考(srfi srfi-41)模块来实现它。 （披露：我写的模块代码的具体狡诈零部件;一切从the reference implementation移植）

(use-modules (srfi srfi-41)) 
(define-stream (ints-f n) 
    (stream-cons n (ints-f (1+ n)))) 

注意define-stream和stream-cons是共同打造的（SRFI 45风格）宏delay/force幕后。 ^†

用例：

> (stream->list 10 (ints-f 100)) 
(100 101 102 103 104 105 106 107 108 109) 

---

^†特别是，你的功能扩展到类似：

(define (ints-f n) 
    (lazy (eager (cons (delay n) 
        (lazy (ints-f (1+ n))))))) 

，您可以使用使用：

> (define x (ints-f 100)) 
> (force (car (force x))) 
100 
> (force (car (force (cdr (force x))))) 
101