Странная рекурсивное определение в схеме

Question

Рассмотрим следующее определение: Схема

(define f (lambda() (procedure? f))) 

Как ни странно, когда я оцениваю (f) я #t. Вопрос в том, почему эта оценка заканчивается? Я ожидал, что он зациклится на неопределенный срок. Что оценивает внутренний lambda, так как f еще не определен?

Answer 1

Здесь нет рекурсии.

При выполнении этого кода, процедура f определяется (не выполняется):

> (define f (lambda() (procedure? f))) 
> f 
#<procedure:f> 

Когда вы затем выполнить его, он проверяет, есть ли процедура, связанная с символом F, что справедливо при что точка во времени, поэтому она возвращает #t:

> (f) 
#t 

чтобы быть рекурсивными, процедура будет иметь называть себя с помощью (f).