Spędziłem dzień czytając strony 166length≤1 w książceMały Schemer; jest następujący kod:

(((lambda (mk-length)
    (mk-length mk-length))
  (lambda (mk-length)
   (lambda (l)
    (cond
      ((null? l) 0)
      (else (add1 
           ((mk-length eternity)
            (cdr l))))))))
 l)

gdziel jest(apples) ieternity następująco:

(define eternity 
  (lambda (x)
    (eternity x)))

Strona 166 (4. ed.) Stwierdza, że:

Kiedy składamy wniosekmk-length raz otrzymamylength≤1

I wtedy

Czy możemy to zrobić więcej niż raz?

Ale nie wiem, jak to zrobić, żeby dostaćlength≤2?