Mapcar в lisp

@ive_karp · Регистрация: 10.12.2019

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

Как написать программу, которая применяет функции к элементам списка с помощью mapcar?

по такому шаблону

Lisp
1
2
3
4
(mapcar f1 f2 list1 list2)
 
; f1 - функция, применяемая к нечётным элементам
; f2 - функция, применяемая к чётным элементам

f1 и f2, я думаю просто сложением и вычитанием сделать например

Lisp
1
2
(defun f1 (a b) (+ a b))
(defun f2 (a b) (- a b))

@helter · 12.05.2021, 18:16

Как это, к чётным элементам? К чётным элементам списка? Но у вас два списка - непонятно, кто должен быть чётным. Дайте лучше пример аргументов и значения.

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

(defun f1 (a b) (+ a b))

Переобозначить сложение через f1 - мощно.

@ive_karp · 12.05.2021, 18:46 **[ТС]**

helter,

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

К чётным элементам списка?

я так понял, да, к чётным и нечётным элементам списка (-ов)
честно, сам не понял, как подать на вход сразу два списка и применить к их элементам функции.
мне просто сказали, "напиши, чтоб было вот так"

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

Lisp
1
2
3
(mapcar f1 f2 list1 list2)
; f1 - функция, применяемая к нечётным элементам
; f2 - функция, применяемая к чётным элементам

* а, кстати, там в бумажке у меня написано "... - функция, применяемая к (не)чётным элементам listов"

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

Дайте лучше пример аргументов и значения

(mapcar '(f1 f2) '(1 2 3 4) '(5 6 7 8) )

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

Переобозначить сложение через f1 - мощно

всё равно это дальше аудитории в универе никуда не уйдёт

@helter · 12.05.2021, 19:05

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

функция, применяемая к (не)чётным элементам listов"

Если один из них чётный, а второй нечётный, что делать? (1 2 3) и (4 5 6) - какая функция должна применяться к 1, 4?

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

(mapcar '(f1 f2) '(1 2 3 4) '(5 6 7 8) )

Во-первых, тут нет значения, которое, по вашему мнению, функция должна возвращать. Во-вторых, конкретно так работать не будет потому что работать не будет никогда. mapcar - стандартная функция, её первым аргументом должна быть функция (или function designator, если вы знаете, что это такое), а вы суёте ей список. Переопределять стандартные функции нельзя.

@Catstail · 12.05.2021, 20:38

Да, довольно ~~дурацкая~~ странная постановка задачи. Если на вход mapcar дается два списка, то функция, которая будет их обрабатывать, должна принимать два аргумента. Можно попробовать сделать так: пусть пары с четными индексами обрабатывает f1, а пары с нечетными - f2...

Как вариант (HomeLisp):

Lisp
1
2
3
4
5
6
7
8
9
10
11
(defun super-mapcar (f1 f2 list1 list2)
  (mapcar (lambda (n x1 x2)
            (if (zerop (% n 2)) (funcall f1 x1 x2) (funcall f2 x1 x2)))
            (range 0 (min (length list1) (length list2))) list1 list2))
          
(super-mapcar (lambda (x y) (+ (/ 1 x) (/ 1 y))) ;; для четных - сложение обратных
              (lambda (x y) (* x y)) ;; для нечетных - произведение
              '(1 2 3 4 5 6)
              '(11 22 33 44 55 66))
 
==> (12/11 44 4/11 176 12/55 396)

@_sg · 12.05.2021, 21:32

Lisp
1
2
3
4
5
6
7
8
(defun blink (f1 f2 w v)
  (cond ((null w) nil)
        ((null v) nil)
        ((cons (funcall f1 (car w) (car v))
               (blink f2 f1 (cdr w) (cdr v))))))
 
> (blink #'+ #'* '(4 5 4 5 4 5 4 5) '(4 5 4 5 4 5 4 5))
(8 25 8 25 8 25 8 25)

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

Lisp
1
2
3
4
5
6
7
(defun blink (f1 f2 w v)
  (when (and w v)
    (cons (funcall f1 (car w) (car v))
          (blink f2 f1 (cdr w) (cdr v)))))
 
> (blink #'+ #'- '(4 5 4 5 4 5 4 5) '(4 5 4 5 4 5 4 5))
(8 0 8 0 8 0 8 0)

@ive_karp · 12.05.2021, 22:16 **[ТС]**

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

её первым аргументом должна быть функция

вот я думаю, может там подвох в задании

а можно тогда сделать так:
(пока формулировал, подумал, что можно пока обойтись без "мощных" функций f1 и f2)

Lisp
1
2
(mapcar #'+ '(10 10 10 10) '(1 2 3 4) ) => (11 10 13 10) ; для нечётных
(mapcar #'- '(10 10 10 10)  '(1 2 3 4) ) => (10 8 10 6) ; для чётных

?

@helter · 13.05.2021, 00:29

Добуквенно так сделать нельзя, потому что с mapcar вообще ничего сделать нельзя. Он как работает, так работает, это стандарт. Он сложит списки поэлементно, и всё.

Можно, например, другую функцию подсовывать.

Что вы имеете в виду под "для нечётных"? 10 - чётное число. Для нечётных кого? Может, вам правда нужна чётность номера в списке?

@ive_karp · 13.05.2021, 10:20 **[ТС]**

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

Может, вам правда нужна чётность номера в списке?

думаю да, нужно применять для (не)чётных по номеру элемента в списке, а не по значению элемента

@helter · 13.05.2021, 13:03

А, ну такие вам уже написали.

@ive_karp · 13.05.2021, 14:13 **[ТС]**

helter, а что означает # перед '+ или '- ?

@helter · 13.05.2021, 16:29

+ это символ, то есть "лисповое слово". defun, f1, +, mapcar - это всё символы. Символы могут служить именами объектов. Например, вы пишете (+ a b). Это не значит, что надо складывать "слова" a и b. Это значит, надо взять значение переменной по имени a и значение переменной по имени b. Когда символ сам по себе стоит в выражении не на первом месте, смысл в этом - "взять переменную по имени".

Также символ может быть именем функции. Когда вы пишете (mapcar #'+ ...), здесь смысл "взять функцию по имени mapcar". Вы пишете не саму функцию mapcar, а её имя. Аналогично, (+ a b) - это "взять функцию по имени +, взять значение переменной по имени a, взять значение переменной по имени b и применить функцию к этим двум значениям".

Важно, что в CL "значение переменной по имени" и "функция по имени" не совпадают по смыслу. У вас может быть переменная по имени list со значением (1 2 3), и это никак не конфликтует с тем, что существует встроенная функция по имени list.

Но функция - это такой же объект, как любой другой: как число или конс-ячейка или хеш-таблица и т. п. И иногда мы хотим не применять функцию, а просто что-то сделать с этим объектом. Например, + - имя функции сложения. Как получить саму функцию сложения? Для этого перед символом мы пишем #'. То есть #'+ - это буквально значит "функция по имени +".

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

Связь символов с объектами называется пространством имён. То, что я сказал, значит, что в CL пространство имён функций не совпадает с пространством имён переменных. Новичков это иногда путает, но таков дизайн языка.

@_sg · 13.05.2021, 21:01

Решетка с последующей одинарной кавычкой #' является сокращенной записью специального оператора function, то есть (mapcar #'+ '(10 10 10) '(1 2 3)) эквивалентно (mapcar (function +) '(10 10 10) '(1 2 3)):

Lisp
1
2
3
4
> (mapcar #'+ '(10 10 10) '(1 2 3))
(11 12 13)
> (mapcar (function +) '(10 10 10) '(1 2 3))
(11 12 13)

Новые блоги и статьи Все статьи Все блоги /
Символические и жёсткие ссылки в Linux. algri14 15.03.2026 Существует два типа ссылок — символические и жёсткие. Ссылка в Linux — это запись в каталоге, которая может указывать либо на inode «файла-ИСТОЧНИКА», тогда это будет «жёсткая ссылка» (hard link),. . .	[Owen Logic] Поддержание уровня воды в резервуаре количеством включённых насосов: моделирование и выбор регулятора ФедосеевПавел 14.03.2026 Поддержание уровня воды в резервуаре количеством включённых насосов: моделирование и выбор регулятора ВВЕДЕНИЕ Выполняя задание на управление насосной группой заполнения резервуара,. . .	делаю науч статью по влиянию грибов на сукцессию anaschu 13.03.2026 прикрепляю статью	SDL3 для Desktop (MinGW): Создаём пустое окно с нуля для 2D-графики на SDL3, Си и C++ 8Observer8 10.03.2026 Содержание блога Финальные проекты на Си и на C++: hello-sdl3-c. zip hello-sdl3-cpp. zip Результат:
Установка CMake и MinGW 13.1 для сборки С и C++ приложений из консоли и из Qt Creator в EXE 8Observer8 10.03.2026 Содержание блога MinGW - это коллекция инструментов для сборки приложений в EXE. CMake - это система сборки приложений. Здесь описаны базовые шаги для старта программирования с помощью CMake и. . .	Как дизайн сайта влияет на конверсию: 7 решений, которые реально повышают заявки Neotwalker 08.03.2026 Многие до сих пор воспринимают дизайн сайта как “красивую оболочку”. На практике всё иначе: дизайн напрямую влияет на то, оставит человек заявку или уйдёт через несколько секунд. Даже если у вас. . .	Модульная разработка через nuget packages DevAlt 07.03.2026 Сложившийся в . Net-среде способ разработки чаще всего предполагает монорепозиторий в котором находятся все исходники. При создании нового решения, мы просто добавляем нужные проекты и имеем. . .	Модульный подход на примере F# DevAlt 06.03.2026 В блоге дяди Боба наткнулся на такое определение: В этой книге («Подход, основанный на вариантах использования») Ивар утверждает, что архитектура программного обеспечения — это структуры,. . .

@helter 4528 / 3522 / 358 Регистрация: 12.03.2013 Сообщений: 6,038
	13.05.2021, 00:29
	Добуквенно так сделать нельзя, потому что с mapcar вообще ничего сделать нельзя. Он как работает, так работает, это стандарт. Он сложит списки поэлементно, и всё. Можно, например, другую функцию подсовывать. Что вы имеете в виду под "для нечётных"? 10 - чётное число. Для нечётных кого? Может, вам правда нужна чётность номера в списке? 2

@helter 4528 / 3522 / 358 Регистрация: 12.03.2013 Сообщений: 6,038
	13.05.2021, 13:03
	А, ну такие вам уже написали. 0

@ive_karp 4 / 4 / 1 Регистрация: 10.12.2019 Сообщений: 176
	13.05.2021, 14:13 [ТС]
	helter, а что означает # перед '+ или '- ? 0

@helter 4528 / 3522 / 358 Регистрация: 12.03.2013 Сообщений: 6,038
	13.05.2021, 16:29
	+ это символ, то есть "лисповое слово". defun, f1, +, mapcar - это всё символы. Символы могут служить именами объектов. Например, вы пишете (+ a b). Это не значит, что надо складывать "слова" a и b. Это значит, надо взять значение переменной по имени a и значение переменной по имени b. Когда символ сам по себе стоит в выражении не на первом месте, смысл в этом - "взять переменную по имени". Также символ может быть именем функции. Когда вы пишете (mapcar #'+ ...), здесь смысл "взять функцию по имени mapcar". Вы пишете не саму функцию mapcar, а её имя. Аналогично, (+ a b) - это "взять функцию по имени +, взять значение переменной по имени a, взять значение переменной по имени b и применить функцию к этим двум значениям". Важно, что в CL "значение переменной по имени" и "функция по имени" не совпадают по смыслу. У вас может быть переменная по имени list со значением (1 2 3), и это никак не конфликтует с тем, что существует встроенная функция по имени list. Но функция - это такой же объект, как любой другой: как число или конс-ячейка или хеш-таблица и т. п. И иногда мы хотим не применять функцию, а просто что-то сделать с этим объектом. Например, + - имя функции сложения. Как получить саму функцию сложения? Для этого перед символом мы пишем #'. То есть `#'+` - это буквально значит "функция по имени +". Когда мы используем mapcar, мы не хотим ничего складывать сами. Мы хотим чтобы mapcar сам сложил, что нужно, и нам дал бы окончательный ответ. Поэтому функцию сложения нам вызывать самим не надо, а достаточно передать mapcar-у, чтобы он вызывал. Связь символов с объектами называется пространством имён. То, что я сказал, значит, что в CL пространство имён функций не совпадает с пространством имён переменных. Новичков это иногда путает, но таков дизайн языка. 3