Нужна помощь в понимании некоторых примеров потоков SICP

Я пытаюсь понять, как работает эта функция.

(define (sieve stream)
  (cons-stream
   (stream-car stream)
   (sieve (stream-filter
            (lambda (x)
              (not (divisible? x (stream-car stream))))
            (stream-cdr stream)))))

(define primes (sieve (integers-starting-from 2)))

Просто, я использую поток, который генерирует все целые числа, начиная с 2, и, согласно книге, он фильтрует остальную часть потока, которая не делится на текущий элемент, для каждого нового элемента. Как это может отфильтровать все целые числа, не кратные текущему элементу без фактического чтения всех целых чисел?

Получение данных из формы с помощью JavaScript - краткое руководство
Получение данных из формы с помощью JavaScript - краткое руководство
Получить данные из формы с помощью JS очень просто: вы запрашиваете элемент формы, передаете его конструктору new FormData() и, наконец, получаете...
Пользовательские правила валидации в Laravel
Пользовательские правила валидации в Laravel
Если вы хотите создать свое собственное правило валидации, Laravel предоставляет возможность сделать это. Создайте правило с помощью следующей...
3 метода стилизации элементов HTML
3 метода стилизации элементов HTML
Когда дело доходит до применения какого-либо стиля к нашему HTML, существует три подхода: встроенный, внутренний и внешний. Предпочтительным обычно...
Формы c голосовым вводом в React с помощью Speechly
Формы c голосовым вводом в React с помощью Speechly
Пытались ли вы когда-нибудь заполнить веб-форму в области электронной коммерции, которая требует много кликов и выбора? Вас попросят заполнить дату,...
Стилизация и валидация html-формы без использования JavaScript (только HTML/CSS)
Стилизация и валидация html-формы без использования JavaScript (только HTML/CSS)
Будучи разработчиком веб-приложений, легко впасть в заблуждение, считая, что приложение без JavaScript не имеет права на жизнь. Нам становится удобно...
Flatpickr: простой модуль календаря для вашего приложения на React
Flatpickr: простой модуль календаря для вашего приложения на React
Если вы ищете пакет для быстрой интеграции календаря с выбором даты в ваше приложения, то библиотека Flatpickr отлично справится с этой задачей....
1
0
83
1
Перейти к ответу Данный вопрос помечен как решенный

Ответы 1

Ответ принят как подходящий

Эти определения

(define (sieve stream)
  (cons-stream (stream-car stream)
   (sieve 
     (stream-filter (lambda (x) (not (divisible? x (stream-car stream))))
       (stream-cdr stream)))))

(define primes (sieve (integers-starting-from 2)))

означают, что

primes 
= 
  (sieve
    (integers-starting-from 2))
=
  (cons-stream 2
    (sieve 
      (stream-filter (lambda (x) (not (divisible? x 2)))
        (integers-starting-from 3))))
=
  (cons-stream 2
    (cons-stream 3
      (sieve 
        (stream-filter (lambda (x) (not (divisible? x 3)))
          (stream-filter (lambda (x) (not (divisible? x 2)))
            (integers-starting-from 4))))))
=
  (cons-stream 2
    (cons-stream 3
      (sieve 
        (stream-filter (lambda (x) (not (divisible? x 3)))
          (stream-filter (lambda (x) (not (divisible? x 2)))
            (integers-starting-from 5))))))
=
  (cons-stream 2
    (cons-stream 3
      (cons-stream 5
        (sieve 
          (stream-filter (lambda (x) (not (divisible? x 5)))
            (stream-filter (lambda (x) (not (divisible? x 3)))
              (stream-filter (lambda (x) (not (divisible? x 2)))
                (integers-starting-from 6))))))))

и далее

=
  ....
=
  (cons-stream 2
   (cons-stream 3
    (cons-stream 5
     (cons-stream 7
       (sieve 
         (stream-filter (lambda (x) (not (divisible? x 7)))
          (stream-filter (lambda (x) (not (divisible? x 5)))
           (stream-filter (lambda (x) (not (divisible? x 3)))
            (stream-filter (lambda (x) (not (divisible? x 2)))
             (integers-starting-from 9))))))))))
=
  ....
=
  (cons-stream 2
   (cons-stream 3
    (cons-stream 5
     (cons-stream 7
      (cons-stream 11
        (sieve 
          (stream-filter (lambda (x) (not (divisible? x 11)))
           (stream-filter (lambda (x) (not (divisible? x 7)))
            (stream-filter (lambda (x) (not (divisible? x 5)))
             (stream-filter (lambda (x) (not (divisible? x 3)))
              (stream-filter (lambda (x) (not (divisible? x 2)))
                (integers-starting-from 12))))))))))))
=
  ....

что, надеюсь, должно дать вам более четкое представление о том, что здесь происходит.

(NB: последующая запись ).

Другие вопросы по теме