Написать функционал на лиспе

@mas23 · Регистрация: 10.11.2019

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

Добрый день,
есть задача: написать на лиспе функционал, который по заданным списку L и атому x (x входит в L) выдает функцию f, которая является самостоятельной функцией, состоит из car и cdr. f работает так: если применить f к списку L, она должна выдать x.

если кто-то знает, как это можно сделать, помогите пожалуйста.

@zeroalef · 10.11.2019, 14:17

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

если кто-то знает, как это можно сделать, помогите пожалуйста

Что вам подсказать или чем помочь?

@Catstail · 10.11.2019, 17:05

Lisp
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
(defun make-body (lst x &optional (r 'a))
   (cond ((null lst) nil)
         ((eq (car lst) x) (list 'car r))
         ((atom (car lst)) (make-body (cdr lst) x (list 'cdr r)))
         (t (let ((left  (make-body (car lst) x (list 'car r)))
                  (right (make-body (car lst) x (list 'cdr r))))
             (if left left right)))))
 
(defun task (lst x)
  (let ((body (make-body lst x)))
    `(lambda (a) ,body))) 
 
(task '(1 2 3 x 4 5 6) 'x)
==> (LAMBDA (A) (CAR (CDR (CDR (CDR A)))))
 
((LAMBDA (A) (CAR (CDR (CDR (CDR A))))) '(1 2 3 x 4 5 6))
==> X
 
(task '(1 (2 (3 x)) 4 5 6) 'x)
==> (LAMBDA (A) (CAR (CDR (CAR (CDR (CAR (CDR A)))))))
 
((LAMBDA (A) (CAR (CDR (CAR (CDR (CAR (CDR A))))))) '(1 (2 (3 x)) 4 5 6))
==> X

@mas23 · 14.11.2019, 09:07 **[ТС]**

Catstail, Спасибо! А можно ли сделать, чтобы выдаваемая функция имела имя и была самостоятельной?

@Catstail · 14.11.2019, 11:13

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

А можно ли сделать, чтобы выдаваемая функция имела имя и была самостоятельной?

- имя можно присвоить:

Lisp
1
(setq f (task '(1 2 3 x 4 5 6) 'x))

и безымянная функция не менее "самостоятельно", чем именованная.

Добавлено через 3 минуты
Можно и так:

Lisp
1
2
3
4
5
6
7
8
9
10
11
(defun task (lst x)
  (let ((body (make-body lst x)))
    (eval `(defun f (a) ,body))))
 
==> TASK
 
(task '(1 2 3 x 4 5 6) 'x)
==> F
 
(f '(1 2 3 x 4 5 6))
==> X

@mas23 · 14.12.2019, 18:44 **[ТС]**

Catstail, на простых линейных списках проблем нет, однако, например, если взять список l=(a (b (c f)) g (h (t))) и запустить Ваш функционал так: (TASK l 'h), функционал выдает некоторую функцию F, но ее применение к списку (F l) дает результат NIL, что неверно, ведь результатом должен быть атом h.

@Black Fregat · 14.12.2019, 20:56

mas23, там опечатка в строке 6.
Нужно:

Lisp
1
2
3
4
5
6
7
(defun make-body (lst x &optional (r 'a))
   (cond ((null lst) nil)
         ((eq (car lst) x) (list 'car r))
         ((atom (car lst)) (make-body (cdr lst) x (list 'cdr r)))
         (t (let ((left  (make-body (car lst) x (list 'car r)))
                  (right (make-body (cdr lst) x (list 'cdr r))))
             (if left left right)))))

Новые блоги и статьи Все статьи Все блоги /
SDL3 для Web (WebAssembly): Работа со звуком через SDL3_mixer 8Observer8 08.02.2026 Содержание блога Пошагово создадим проект для загрузки звукового файла и воспроизведения звука с помощью библиотеки SDL3_mixer. Звук будет воспроизводиться по клику мышки по холсту на Desktop и по. . .	SDL3 для Web (WebAssembly): Основы отладки веб-приложений на SDL3 по USB и Wi-Fi, запущенных в браузере мобильных устройств 8Observer8 07.02.2026 Содержание блога Браузер Chrome имеет средства для отладки мобильных веб-приложений по USB. В этой пошаговой инструкции ограничимся работой с консолью. Вывод в консоль - это часть процесса. . .	SDL3 для Web (WebAssembly): Обработчик клика мыши в браузере ПК и касания экрана в браузере на мобильном устройстве 8Observer8 02.02.2026 Содержание блога Для начала пошагово создадим рабочий пример для подготовки к экспериментам в браузере ПК и в браузере мобильного устройства. Потом напишем обработчик клика мыши и обработчик. . .	Философия технологии iceja 01.02.2026 На мой взгляд у человека в технических проектах остается роль генерального директора. Все остальное нейронки делают уже лучше человека. Они не могут нести предпринимательские риски, не могут. . .
SDL3 для Web (WebAssembly): Вывод текста со шрифтом TTF с помощью SDL3_ttf 8Observer8 01.02.2026 Содержание блога В этой пошаговой инструкции создадим с нуля веб-приложение, которое выводит текст в окне браузера. Запустим на Android на локальном сервере. Загрузим Release на бесплатный. . .	SDL3 для Web (WebAssembly): Сборка C/C++ проекта из консоли 8Observer8 30.01.2026 Содержание блога Если вы откроете примеры для начинающих на официальном репозитории SDL3 в папке: examples, то вы увидите, что все примеры используют следующие четыре обязательные функции, а. . .	SDL3 для Web (WebAssembly): Установка Emscripten SDK (emsdk) и CMake для сборки C и C++ приложений в Wasm 8Observer8 30.01.2026 Содержание блога Для того чтобы скачать Emscripten SDK (emsdk) необходимо сначало скачать и уставить Git: Install for Windows. Следуйте стандартной процедуре установки Git через установщик. . . .	SDL3 для Android: Подключение Box2D v3, физика и отрисовка коллайдеров 8Observer8 29.01.2026 Содержание блога Box2D - это библиотека для 2D физики для анимаций и игр. С её помощью можно определять были ли коллизии между конкретными объектами. Версия v3 была полностью переписана на Си, в. . .

@mas23 0 / 0 / 0 Регистрация: 10.11.2019 Сообщений: 4

	Common Lisp Написать функционал на лиспе 10.11.2019, 12:58. Показов 1008. Ответов 6 Метки нет (Все метки) Добрый день, есть задача: написать на лиспе функционал, который по заданным списку L и атому x (x входит в L) выдает функцию f, которая является самостоятельной функцией, состоит из car и cdr. f работает так: если применить f к списку L, она должна выдать x. если кто-то знает, как это можно сделать, помогите пожалуйста. 0

@mas23 0 / 0 / 0 Регистрация: 10.11.2019 Сообщений: 4
	14.11.2019, 09:07 [ТС]
	Catstail, Спасибо! А можно ли сделать, чтобы выдаваемая функция имела имя и была самостоятельной? 0

@mas23 0 / 0 / 0 Регистрация: 10.11.2019 Сообщений: 4
	14.12.2019, 18:44 [ТС]
	Catstail, на простых линейных списках проблем нет, однако, например, если взять список l=(a (b (c f)) g (h (t))) и запустить Ваш функционал так: (TASK l 'h), функционал выдает некоторую функцию F, но ее применение к списку (F l) дает результат NIL, что неверно, ведь результатом должен быть атом h. 0