> Удали ormap, а иначе разговор не имеет смысла.
Cчитай вместе с ormap для случая с одним списоком: ormap не будет вообще задействован. В чем проблема?

В итоге, для случая с одним списком код будет абсолютно таким же простым как и #1588.

Цитата

---

Михаил :
> Удали ormap, а иначе разговор не имеет смысла.
Cчитай вместе с ormap для случая с одним списоком: ormap не будет вообще задействован. В чем проблема?

В итоге, для случая с одним списком код будет абсолютно таким же простым как и #1588.

---

Сколько раз надо повторять: схема не с++.

Цитата

---

Михаил :
Ты сказал, что реализация свертки сложнее чем для случая с одним списком. По количеству текста да, сложнее. Но по эффективности и там и там для случая с одним списком - одинаково.

---

Когда набираешь код на Схеме, забудь про С++. Его правила здесь не действуют.

>> Сколько раз надо повторять: схема не с++.
>Мне ты это говоришь в 1-й раз. И непонятно почему.
Да не тебе. Я постоянно всем твержу: схема не с++.

>> Простая хвостовая рекурсия всегда будет эффективнее применения любых fold***.
>> Именно это я и хотел сказать.
>fold тоже в цикл превратится, не тупи.
Не груби. Правило предварительного вычисления всех аргументов функции никто не отменял. А оптимизация схем-кода вообще дело темное. fold*** будет оптимизирована, но подстановка ее кода(inline) скорее всего выполнятся не будет.

> А оптимизация схем-кода вообще дело темное.
Так зачем этим прикрываться обвиняя меня в избыточности?

Да, я ошибся, надо было проверить.

(define (fold-left f c as . bss)

  (if (or (null? as)

          (ormap null? bss))

      c

      (apply fold-left f 

             (apply f (car as) c (map car bss))

             (cdr as) (map cdr bss))))

 

(define (fold-right f c as . bss)

  (if (or (null? as)

          (ormap null? bss))

      c

      (apply f (car as)

             (apply fold-right f c (cdr as) (map cdr bss))

             (map car bss))))

Моя самая быстрая версия:

(define (fold-right fun start lst . lsts)

  (if (null? lsts)

      (let foldr-lst ((l lst))

        (if (null? l)

            start

            (fun (car l) (foldr-lst (cdr l)))))

      (let foldr-lsts ((l (cons lst lsts)))

        (if (do ((l l (cdr l)))

              ((or (null? (car l))

                   (null? (cdr l))) (null? (car l))))

            start

            (apply fun 

                   (append (map car l) 

                           (list (foldr-lsts (map cdr l)))))))))