Đề án (Lazy Racket) một danh sách vô hạn các số tự nhiên

Question

Tôi nghĩ rằng Lazy Racket nên hữu ích để xử lý danh sách vô hạn. Theo Wikipedia Lazy Racket article, fibs (danh sách vô hạn các số Fibonacci) có thể được định nghĩa là:

;; An infinite list: 
(define fibs (list* 1 1 (map + fibs (cdr fibs)))) 

Làm thế nào để chúng ta xác định một danh sách vô hạn các số tự nhiên?

Answer 1

#lang lazy 
(define Nat (cons 1 (map (lambda (x) (+ x 1)) Nat))) 

nhờ Will Ness.

Tôi cũng thấy

#lang lazy 
;;; infinite sequences represented by a_(n+1) = f(a_n) 
(define inf-seq (lambda (a0 f) (cons a0 (inf-seq (f a0) f)))) 
(define Nat (inf-seq 1 (lambda (x) (+ x 1)))) 

Để đầu ra

(define (outputListData list) 
    (cond 
     [(null? list) #f] ; actually doesn't really matter what we return 
     [else 
      (printf "~s\n" (first list)) ; display the first item ... 
      (outputListData (rest list))] ; and start over with the rest 
    ) 
) 

(outputListData Nat) 

Answer 2

#lang lazy 

(define nats (cons 1 (map 1+ nats))) 

Rõ ràng đây không làm việc, và 1+ nên được thay thế bởi (lambda (x) (+ x 1)). Nhờ @kenokabe để thử nghiệm. (add1 là tên riêng.)