Функции высшего порядка

Cheb · Регистрация: 09.11.2011

Студворк — интернет-сервис помощи студентам

Читаю книгу

Lisp
1
2
3
4
(defun plot (fn min max step)
  (loop for i from min to max by step do
        (loop repeat (funcall fn i) do (format t "*"))
        (format t "~%")))

Что происходит, не могу понять?
Где тут тело функции fn и plot?
И растолкуйте, как это работает.

Добавлено через 4 минуты
а кажется тела функции FN нету в этом примере, его нужно передавать, как

Lisp
1
(plot #'exp 0 4 1/2)

но все равно, небольшие пояснения не помешают, может другими словами

Добавлено через 8 минут

Lisp
1
(format t "~%")

Это -то зачем тут?

@Catstail · 13.10.2014, 16:25

На глаз - это ~~табулирование функции~~ построение гисторгаммы fn в пределах от min до max c шагом step. fn - функциональный параметр plot. На месте этого параметра может быть имя функции или безымянная функция:

Lisp
1
(plot #'(lambda (x) (* x x)) 0 10 0.1) ;; табулировать y=x^2 от 0 до 10 с шагом 0.1

Cheb · 13.10.2014, 16:27 **[ТС]**

а как переделать пример выше с использованием APPLY?
Про безымянные я потом еще почитаю

@Catstail · 13.10.2014, 16:30

Lisp
1
2
3
4
5
6
7
CL-USER 3 > (plot #'(lambda (x) (* x x)) 0 5 1)
 
*
****
*********
****************
*************************

Сообщение от Cheb

Это -то зачем тут?

- полагаю, это переход на новую строку.

Добавлено через 1 минуту

Сообщение от Cheb

а как переделать пример выше с использованием APPLY?

:

Lisp
1
2
3
4
5
6
7
8
9
10
11
12
13
14
CL-USER 4 > (defun plot (fn min max step)
  (loop for i from min to max by step do
        (loop repeat (apply fn (list i)) do (format t "*"))
        (format t "~%")))
PLOT
 
CL-USER 5 > (plot #'(lambda (x) (* x x)) 0 5 1)
 
*
****
*********
****************
*************************
NIL

@helter · 13.10.2014, 16:35

"Тело"? Ну, defun plot - это объявление функции plot. А fn - это функция, которую надо передавать в качестве аргумента. Передавать надо не "тело", а саму функцию как она есть. Функции суть граждане первого класса, поэтому их можно хранить в переменных, передавать в качестве аргументов и получать в качестве значений, это всё просто.

Единственная заковыка - в funcall-е и в #'. Это из-за отдельного пространства имён для функций. Отдельное пространство не ущемляет их прав как граждан, но сказывается на обозначениях и затрудняет функциональное программирование.

Упирается в правило вычисления списков. Программа же состоит из списков, и эти списки вычисляются. По умолчанию для первого символа в списке берётся значение из "функциональной ячейки", а для остальных - из "переменной ячейки".

Внутри функции plot переменная fn держит в себе функцию - в "переменной ячейке", потому что переменная. Поэтому мы не можем написать (fn i), потому что такая запись подразумевает, что мы хотим выковыривать функцию из "функциональной ячейки". Чтобы всё-таки можно было вызывать функции-значения переменных, существует funcall.

#'exp - это из-за того же, но в другом контексте. exp содержит показательную функцию в функциональной ячейке, чтобы можно было писать (exp (* pi #c(0 1))). Если же мы хотим использовать эту функцию не на первом месте списка, а в любых каких угодно целях, её можно вынуть из "функциональной ячейки" с помощью #'.

"Тело" функции никуда не надо передавать, надо саму функцию передавать.

Добавлено через 1 минуту

Сообщение от Cheb

Это -то зачем тут?

Чтобы строку переводить. На самом деле надо было написать (terpri). А вообще, наверно, можно было бы всю функцию внутрь одного format-а засунуть.

Добавлено через 2 минуты

Сообщение от Cheb

а как переделать пример выше с использованием APPLY?

А зачем? apply - это для применения функции к списку аргументов. Если списка аргументов нет, apply не нужен.

Сообщение от Cheb

Про безымянные я потом еще почитаю

Безымянная функция - это то же самое, что безымянное число. Чтобы использовать число 5, необязательно же его записывать в переменную?

@Catstail · 13.10.2014, 16:35

Сообщение от helter

Если же мы хотим использовать эту функцию не на первом месте списка, а в любых каких угодно целях, её можно вынуть из "функциональной ячейки" с помощью #'.

- мне эта фраза представляется не очень удачной. Получается, что, употребляя exp вот в такой конструкции - (+ 5 exp), мы "оставляем ее в функциональной ячейке"...

@helter · 13.10.2014, 16:38

Сообщение от Catstail

Получается, что употребляя exp вот в такой конструкции (+ 5 exp) мы "оставляем ее в функциональной ячейке"...

Я говорил про использование самой функции. В конструкции (+ 5 exp) участвует символ exp в качестве переменной, но экспоненциальная функция в вычисление не вовлечена.

Cheb · 13.10.2014, 16:43 **[ТС]**

Сообщение от Catstail

CL-USER 4 > (defun plot (fn min max step)
* (loop for i from min to max by step do
* * * * (loop repeat (apply fn (list i)) do (format t "*"))
* * * * (format t "~%")))
PLOT
CL-USER 5 > (plot #'(lambda (x) (* x x)) 0 5 1)

нет что бы так вызвать (без лямбды пока)
(apply #'plot #'exp.......

Добавлено через 1 минуту
вообщем это все важно и надо переварить...

Добавлено через 1 минуту

Сообщение от helter

А зачем? apply - это для применения функции к списку аргументов. Если списка аргументов нет, apply не нужен.

пытаюсь понять пример в учебнике и просто научиться пользоваться

Добавлено через 1 минуту

Сообщение от helter

Безымянная функция - это то же самое, что безымянное число

да это понятно, такое и в других языках тоже есть.

@helter · 13.10.2014, 16:56

Сообщение от Cheb

нет что бы так вызвать (без лямбды пока)
(apply #'plot #'exp.......

apply - чтобы применять к списку. (apply #'plot (list #'exp ...)), если в этом есть какой-то смысл.

Сообщение от Cheb

да это понятно, такое и в других языках тоже есть.

Ага, я о том же.

@Catstail · 13.10.2014, 17:26

Сообщение от Cheb

нет что бы так вызвать (без лямбды пока)
(apply #'plot #'exp.......

- а зачем здесь apply? Лишний бантик. Вызывайте так: (plot #'exp ...)

Cheb · 13.10.2014, 17:57 **[ТС]**

Сообщение от Catstail

- а зачем здесь apply? Лишний бантик. Вызывайте так: (plot #'exp ...)

да, я пример пытаюсь понять в книжке

Добавлено через 16 секунд
как apply пользоваться

@Catstail · 13.10.2014, 18:09

Apply использовать просто:

Lisp
1
(apply Функция список_аргументов)

Вот когда это нужно и полезно? Например, когда список аргументов уже сформирован. Пример - вычислить сумму элементов произвольного одноуровнего числового списка. Можно рекурсией или итерацией... А можно просто:

Lisp
1
(defun sum-list (lst) (apply '+ lst))

Правда, у apply (по имеющимся сведениям) есть ограничение на размер списка. Для больших списков пример может завершиться аварийно.

Функция apply играет фундаментальную роль в ядре классического Лиспа (см., например, в финском двухтомнике "Лисп на Лиспе")

@helter · 13.10.2014, 18:17

Не по теме:

Сообщение от Catstail

Вот когда это нужно и полезно? Например, когда список аргументов уже сформирован. Пример - вычислить сумму элементов произвольного одноуровнего числового списка. Можно рекурсией или итерацией... А можно просто:

Lisp
1
(defun sum-list (lst) (apply '+ lst))

Правда, у apply (по имеющимся сведениям) есть ограничение на размер списка.

На всякий случай напомню, что для переносимого года это ограничение составляет 50 элементов.

Cheb · 15.10.2014, 16:40 **[ТС]**

Сообщение от helter

Правда, у apply (по имеющимся сведениям) есть ограничение на размер списк

это ограничение можно узнать используя константу CALL-ARGUMENTS-LIMIT
А как её посмотреть? Или может поменять (хотя константа же)

Что бы разобраться с FUNCALL написал тестовый пример

Кликните здесь для просмотра всего текста

Lisp
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
(format t "++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++~%")
(format t "++++++ ПРОГРАММА демонстрирует пример работы с оператором FUNCALL ++++++~%")
(format t "++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++~%")
 
;;; опредеоим несколько простых функций
;;определим функцию умножения
(defun умножение (x1 x2)
    (format t "Умножение чисел ~a и ~a = " x1 x2)
    (* x1 x2))
 
;;определим функцию сложения
(defun сумма (x1 x2)
    (format t "Сумма чисел ~a и ~a = " x1 x2)
    (+ x1 x2))
 
;;определим функцию деления
(defun деление (x1 x2)
    (format t "Деление чисел ~a и ~a = " x1 x2)
    (/ x1 x2))
 
;;определим функцию вычитания
(defun разность (x1 x2)
    (format t "Разность чисел ~a и ~a = " x1 x2)
    (- x1 x2))
 
;;опишем главную функцию вызова
(defun глав-fn (fn a b)
    (format t "~a~%" (funcall fn a b)))
 
;;начало программы
(глав-fn #'умножение 2 9)
(глав-fn #'сумма 2 9)
(глав-fn #'разность 2 9)
(глав-fn #'деление 2 9)

Ха ! можно писать по-русски, даже часть слова. Эдак "ОдинЭС" можно в вебе заварганить для бухов

@Catstail · 15.10.2014, 16:49

Сообщение от Cheb

А как её посмотреть?

- очень просто:

Lisp
1
2
CL-USER 1 > CALL-ARGUMENTS-LIMIT
2047

Cheb · 15.10.2014, 17:07 **[ТС]**

у меня

Lisp
1
2
3
4
  
* CALL-ARGUMENTS-LIMIT
 
4611686018427387903

@helter · 15.10.2014, 17:28

Сообщение от Cheb

у меня

В разных реализациях - по-разному. Не зависит от реализации только минимум - 50.

Добавлено через 2 минуты

Сообщение от Cheb

Ха ! можно писать по-русски, даже часть слова. Эдак "ОдинЭС" можно в вебе заварганить для бухов

Ну на самом деле это тоже от реализации зависит. (На самом деле даже соответствие символ<->числовой код зависит от реализации. Хотя понятно, что зрелые, так сказать, реализации, достаточно хорошо владеют юникодом.)

Добавлено через 5 минут

Сообщение от Cheb

тестовый пример

Гм, "левая" строка выводится, а результат - нет.

Lisp
1
(умножение (сумма 2 2) 2)

будет странно выглядеть.

@castorsky · 16.10.2014, 02:12

Сообщение от helter

Гм, "левая" строка выводится, а результат - нет.

Тут гельтер намекает, что лучше оформить так

Lisp
1
2
(defun глав-fn (fn a b)
  (funcall fn a b))

То же касается и всех остальных функций.

Добавлено через 8 минут
lw

Lisp
1
2
3
4
5
CL-USER 2 > (умножение (сумма 3 4) 4)
Сумма чисел 3 и 4 = Умножение чисел 7 и 4 = 
28
 
CL-USER 3 >

@_sg · 16.10.2014, 08:09

как вариант:

Функция apply применяет функцию к одному и более аргументу, последним из которых должен быть список:

Lisp
1
2
3
4
> (apply #'* '(8 9 10))        
720
> (apply #'* 8 9 '(10))
720

Функция funcall вызывает функцию с аргументами:

Lisp
1
2
> (funcall #'* 8 9 10)
720

Добавлено через 5 минут
в CLISP до 4096 элементов:

Lisp
1
2
3
4
> (apply #'min '(7 4 6 4 5))
4
> call-arguments-limit
4096

можно заменить на reduce:

Lisp
1
2
> (reduce #'max '(7 4 6 4 5))
7

Cheb · 16.10.2014, 16:18 **[ТС]**

Сообщение от _sg

(apply #'min '(7 4 6 4 5))

Э, зачем ты, уважаемый, вот эту ' (апостроф) поставил? я вчера целый вечер из-за неё мучился

вот так с apply у меня заработало.

Lisp
1
(format t "~a" (apply #'сумма a)) )

вот полный код

Кликните здесь для просмотра всего текста

Lisp
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
;;определим функцию умножения
(defun умножение (x1 x2)
    (format t "Умножение чисел ~a и ~a = " x1 x2)
    (* x1 x2))
 
;;определим функцию сложения
(defun сумма (x1 x2)
    (format t "Сумма чисел ~a и ~a = " x1 x2)
    (+ x1 x2))
 
;;определим функцию деления
(defun деление (x1 x2)
    (format t "Деление чисел ~a и ~a = " x1 x2)
    (/ x1 x2))
 
;;определим функцию вычитания
(defun разность (x1 x2)
    (format t "Разность чисел ~a и ~a = " x1 x2)
    (- x1 x2))
 
;;опишем главную функцию вызова
(defun foo (a) 
(format t "~a" (apply #'сумма a)) )
 
(foo '(3 4))

в этих черточках совсем запутался! и еще #', я думал это одно и тоже что funcall

Новые блоги и статьи Все статьи Все блоги /
Почему дизайн решает? Neotwalker 09.01.2026 В современном мире, где конкуренция за внимание потребителя достигла пика, дизайн становится мощным инструментом для успеха бренда. Это не просто красивый внешний вид продукта или сайта — это. . .	Модель микоризы: классовый агентный подход 3 anaschu 06.01.2026 aa0a7f55b50dd51c5ec569d2d10c54f6/ O1rJuneU_ls https:/ / vkvideo. ru/ video-115721503_456239114	Owen Logic: О недопустимости использования связки «аналоговый ПИД» + RegKZR ФедосеевПавел 06.01.2026 Owen Logic: О недопустимости использования связки «аналоговый ПИД» + RegKZR ВВЕДЕНИЕ Введу сокращения: аналоговый ПИД — ПИД регулятор с управляющим выходом в виде числа в диапазоне от 0% до. . .	Модель микоризы: классовый агентный подход 2 anaschu 06.01.2026 репозиторий https:/ / github. com/ shumilovas/ fungi ветка по-частям. коммит Create переделка под биомассу. txt вход sc, но sm считается внутри мицелия. кстати, обьем тоже должен там считаться. . . .
Расчёт токов в цепи постоянного тока igorrr37 05.01.2026 / * Дана цепь постоянного тока с сопротивлениями и напряжениями. Надо найти токи в ветвях. Программа составляет систему уравнений по 1 и 2 законам Кирхгофа и решает её. Последовательность действий:. . .	Новый CodeBlocs. Версия 25.03 palva 04.01.2026 Оказывается, недавно вышла новая версия CodeBlocks за номером 25. 03. Когда-то давно я возился с только что вышедшей тогда версией 20. 03. С тех пор я давно снёс всё с компьютера и забыл. Теперь. . .	Модель микоризы: классовый агентный подход anaschu 02.01.2026 Раньше это было два гриба и бактерия. Теперь три гриба, растение. И на уровне агентов добавится между грибами или бактериями взаимодействий. До того я пробовал подход через многомерные массивы,. . .	Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост. Programma_Boinc 28.12.2025 Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост. Налог на собак: https:/ / ********/ gallery/ V06K53e Финансовый отчет в Excel: https:/ / ********/ gallery/ bKBkQFf Пост отсюда. . .

Cheb 92 / 59 / 8 Регистрация: 09.11.2011 Сообщений: 443
	13.10.2014, 16:27 [ТС]
	а как переделать пример выше с использованием APPLY? Про безымянные я потом еще почитаю 0