Необходима ли модель среды для процедур более высокого порядка? ⇐ C++

[Anonymous]

При изучении SICP 6.001 lec15 имеет:

Хорошее понимание

модели среды, подсказывающее мне, почему (ИМХО) В C++ никогда не будет полнофункциональной карты, фильтра и
процедур сгиба вправо/влево, которые были бы столь же удобны, как в Scheme
< /blockquote>
SICP реализует карту:

Код: Выделить всё

(define (map proc items)
(if (null? items)
nil
(cons (proc (car items))
(map proc (cdr items)))))

Здесь каждая карта рекурсивных вызовов создаст одну новую env для каждого списка аргументов (элементов процедуры), поэтому они могут быть < em>независимый (аналогично для proc и cons и т. д.).
Но, ИМХО, на C++ приведенный выше код можно реализовать с использованием тех же идей, основанных в стеке. Таким образом, независимость по-прежнему сохраняется.
Вопрос:
Почему в документе говорится, что «C++ никогда не будет иметь полностью функционального карта» из-за «модели среды»?

Подробнее здесь: https://stackoverflow.com/questions/790 ... procedures