Джейми Завински использует этот термин в своей статье (1997) статье "java отстой" , как будто вы должны знать, что это значит:
Я действительно ненавижу отсутствие нисходящих лугов; анонимные классы - хромовая замена. (Я могу жить без долгоживущих закрытий, но я нахожу отсутствие указателей функций огромной болью.)
Кажется, что это Lisper slang, и я нашел следующее краткое определение здесь, но почему-то я думаю, что до сих пор не получаю это:
Многие замыкания используются только в той степени, в какой они связаны; они известны как "нисходящие лучи" в выражении Lisp.
Если бы не Steve Yegge, я бы сейчас просто почувствовал себя глупо, но, похоже, было бы нормально спросить:
Джейми Завински - герой. Живая легенда. [...] Парень, который может использовать термин "downarg funargs", а затем глядеть на вас, просто осмеливаясь попросить его объяснить это, вы кретин.
Итак, есть ли здесь Lisper, который может скомпилировать это для программистов C-стиля, таких как я?
Ненормальные funargs - это локальные функции, которые не возвращаются или иным образом оставляют область объявления. Они могут передаваться только другим функциям из текущего объема.
Два примера. Это понижающий эффект:
function () {
var a = 42;
var f = function () { return a + 1; }
foo(f); // `foo` is a function declared somewhere else.
}
Пока это не так:
function () {
var a = 42;
var f = function () { return a + 1; }
return f;
}
Чтобы лучше понять, откуда взялся этот термин, вам нужно знать некоторую историю.
Причина, по которой старый хакер Lisp может отличить нижние funargs от funargs в целом, состоит в том, что нисходящие funargs легко реализовать в традиционном Lisp, который не имеет лексических переменных, тогда как общий случай трудный.
Традиционно локальная переменная была реализована в интерпретаторе Lisp путем добавления привязки (имя символа переменной в сочетании с ее значением) в среду. Такая среда была проста реализовать с использованием списка ассоциаций. Каждая функция имела свою собственную среду и указатель на среду родительской функции. Ссылка на переменную была решена путем поиска в текущей среде, а если не найдена, то в родительской среде и т.д. Стек стеков до достижения глобальной среды.
В такой реализации локальные переменные теневые глобальные переменные с тем же именем. Например, в Emacs Lisp, print-length - это глобальная переменная, которая задает максимальную длину списка для печати перед аббревиатурой. Связывая эту переменную вокруг вызова функции, вы можете изменить поведение операторов печати внутри этой функции:
(defun foo () (print '(1 2 3 4 5 6))) ; output depends on the value of print-length (foo) ; use global value of print-length ==> (1 2 3 4 5 6) (let ((print-length 3)) (foo)) ; bind print-length locally around the call to foo. ==> (1 2 3 ...)
Вы можете видеть, что в такой реализации нисходящие funargs действительно легко реализовать, потому что переменные, находящиеся в среде функции при ее создании, по-прежнему будут находиться в среде функции при ее оценке.
Переменные, которые действуют так, называются специальными или динамическими переменными, и их можно создать в Common Lisp, используя special.
В общем Lisp:
(let ((a 3))
(mapcar (lambda (b) (+ a b))
(list 1 2 3 4)))
-> (4 5 6 7)
В приведенной выше форме лямбда-функция передается DOWNWARD. Когда вызывается функцией MAPCAR более высокого порядка (которая получает функцию и список значений в качестве аргументов, а затем применяет эту функцию к каждому элементу списка и возвращает список результатов), функция лямбда по-прежнему относится к переменной 'a' из выражения LET. Но все это происходит внутри выражения LET.
Сравните выше с этой версией:
(mapcar (let ((a 3))
(lambda (b) (+ a b)))
(list 1 2 3 4))
Здесь функция lambda возвращается из LET. UPWARD немного. Затем он переходит к MAPCAR. Когда MAPCAR вызывает лямбда-функцию, ее окружающая LET больше не выполняется, но функция должна ссылаться на переменную 'a' из LET.
Там есть довольно описательная статья о Wiki под названием проблема Funarg
"Нижняя луна может также ссылаться на состояние функции, когда эта функция фактически не выполняется. Однако, потому что, по определению, существование нижней гармоники содержится в выполнение функции, которая создает его, запись активации для функция обычно может быть хранится в стеке."