мы провели день, читая страницу 166length≤1 в книгеМаленький интриган; там'следующий код:

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

гдеl является(apples) а такжеeternity как следует:

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

Страница 166 (4-е изд.) Утверждает, что:

Когда мы подаем заявкуmk-length однажды мы получаемlength≤1

А потом

Можем ли мы сделать это более одного раза?

Но я не знаю, как это сделать для получения?length≤2