«а» и хвостовая рекурсия

Question

Можно ли построить итеративный процесс с помощью рекурсивного вызова в операторе and?

Например, у нас есть функция foo, которая ничего не делает. Какой процесс он создаст (итеративный или рекурсивный)?

(define (foo? bar) 
  (if (< bar 0) true (and (> 10 1) (foo? (- bar 1)))))

Answer 1

Ради Ламбертса давайте расширим синтаксис.

(define (foo? bar) 
  (if (< bar 0) 
      #t ; tail position, but no call
      (if (> 10 1) 
          (foo? (- bar 1)) ; tail position
          #f))) ; tail position, but no call

Answer 2

Да, and в порядке - вы можете прочитать это в стандарте .