Функциональное программирование на Lispe

@supmener · Регистрация: 26.06.2013

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

Начал смотреть другой курс по функциональному программированию на Lisp
https://www.youtube.com/watch?... ebDaSS1P33
Смотреть желательно в HD на большом мониторе, иначе код может быть не виден из-за мелкого шрифта и придется скачивать программой (в Windows это Ummy Video Downloader) делать скриншот и увеличивать.
И там сказано, что Lisp предполагает, что Вы пишите в чисто функциональном стиле, чисто функциональной парадигме. А по другому если программировать, немного искажая далее сказанное, является дурным тоном. Что Вы об этом думаете?

Это не тот видео курс, о котором упоминал ранее
https://www.youtube.com/playli... zm9GG4wOfU
https://openedu.ru/course/ITMOUniversity/FPBC/

Рыжий Лис · 14.04.2020, 18:41

Невероятно круто. Не знаю только зачем это может пригодиться

В питоне менее читаемо:

Python
1
2
3
>>> from fractions import Fraction as _
>>> _(1, 3) + _(1, 7)
Fraction(10, 21)

Добавлено через 28 секунд
Это был ответ для Catstail.

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

Python
1
2
>>> _('1/3') + _('1/7')
Fraction(10, 21)

@Catstail · 14.04.2020, 18:53

Рыжий Лис, могу поделиться... Рациональная арифметика весьма полезна при сверхточных вычислениях. Вот пример. Попробуйте вычислить синус или косинус, суммируя ряд Тейлора (до достижения нужной точности) при x=50... Даже при использовании double результат будет абсурдным. А с рациональными числами получится дикая дробь, но она будет точным приближением к результату.

@helter · 14.04.2020, 19:48

Не по теме:

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

Там домашнее задание есть для самостоятельной работы.

Обнаружен источник дебильных задач (на XLisp!!!), заполонивших раздел!!!

@supmener · 14.04.2020, 20:16 **[ТС]**

Волнует то, что не с чем сравнивать для проверки. Ответов нету.

@supmener · 15.04.2020, 07:11 **[ТС]**

А версия Лисп 1 была на перфокартах или была ещё более ранняя? Видел таблицу, где перед версией 1,5 была 1.

Скриншоты из книги автора Шалимов П.Ю. - Функциональное программирование (2003)

@helter · 15.04.2020, 12:29

Вы английский не любите, но вот статья Маккарти про начало истории лиспа http://jmc.stanford.edu/articles/lisp/lisp.pdf Про goto тоже написано.

Так-то лисп 1.5 был, конечно, "улучшенной версией", поэтому и номер.

Добавлено через 5 минут
Косвенный аргумент против изучения функционального программирования на лиспе: студент не узнает слова "каррирование".

@supmener · 15.04.2020, 13:22 **[ТС]**

Возможно потом попробую ML Standart или Ocaml или Ocaml Light изучать. Или Python, сейчас не помню, есть ли у него расширение для продвинутого программирования в функциональном стиле.

@Catstail · 15.04.2020, 13:53

supmener, тема называется "Функциональное программирование в Лиспе"... Не стоит отвлекаться.

@supmener · 15.04.2020, 15:51 **[ТС]**

Лабораторные работы. Лисп. Функциональное программирование. СевГУ, 2019 год.
http://lib.sevsu.ru:8080/jspui... 190041.pdf

@Catstail · 15.04.2020, 16:17

О функциональном программировании там 2 странички (26 и 27).

@supmener · 17.04.2020, 08:44 **[ТС]**

Из книги автора Шалимов П.Ю. - Функциональное программирование (2003)
Одной из особенностей Лиспа, которая отличает
его от большинства других языков, является то, что в нем
поддерживается только один составной тип данных -
список. Оригинальный
Лисп, разработанный Дж. Маккарти, был чисто функциональным (в
смысле прозрачности по ссылкам) языком.

А что это значит - прозрачность по ссылкам?

@korvin_ · 17.04.2020, 09:22

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

А что это значит - прозрачность по ссылкам?

https://ru.wikipedia.org/wiki/... 1%82%D1%8C

Рыжий Лис · 17.04.2020, 10:36

Кстати, по ссылке выше неплохо написано про чистые функции и оптимизацию.

Попробуй вычислить сложность алгоритма:

Lisp
1
2
3
(defun fib (n)
    (cond ((<= n 2) 1)
             (t (+ (fib (- n 1)) (fib (- n 2)))))))

А теперь перепиши код с кешированием (мемоизацией). Функция-то чистая и детерминированная. И посчитай сложность алгоритма заново (О-большое).

@supmener · 18.04.2020, 03:53 **[ТС]**

Функциональное программирование
Курс лекций
Автор: Морозов М.Н.
http://www.mari-el.ru/mmlab/home/lisp/title.htm

@Catstail · 18.04.2020, 09:41

supmener, это хороший курс. Но и там ФП почти нет

@supmener · 18.04.2020, 14:38 **[ТС]**

Там не рабочие две ссылки на картинки
http://www.mari-el.ru/mmlab/ho... ICm4_4.GIF
http://www.mari-el.ru/mmlab/ho... /l8-8s.gif
Написал утром на емайл, указанный на сайте.

@helter · 18.04.2020, 16:41

Не по теме:

Рыжий Лис, а ООП и макросы не любопытно посмотреть? :) Это веселее, в питоне такого нет. (ООП, конечно, есть, но не такое.) Описать класс "Треугольник", который определяет эту геометрическую фигуру посредством задания длин трех его сторон

@supmener · 19.04.2020, 08:14 **[ТС]**

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

В 5 видео канала Pavel Stepanov после примера с факториалом пример про числа Фибоначчи. И не могу набрать строку кода, как на видео. Скобки не совпадают и начало строки как то не так выглядит.
Вот первая строка вверху, после приветствия LISP

Lisp
1
[1]> <(<= x 0)0)((eq x 1)1)((eq x 2)1)(T(+(fib(- x 1))(fib(- x 2))))))

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

Вот. В чем проблема-то?

Lisp
1
2
3
(defun fib (n)
    (cond ((<= n 2) 1)
             (t (+ (fib (- n 1)) (fib (- n 2)))))))

Автор на уточняющий вопрос добавил в комментариях к видео другой код

Lisp
1
2
3
4
5
6
7
8
9
10
11
12
13
(defun fib (x &optional y)
(cond
((<= x 0) 0)
((null y) (car (fib x T)))
((eq x 1) '(1 0))
((eq x 2) '(1 1))
(T (fibservice (fib (- x 1) T)))
))
 
(defun fibservice (lst)
(cons
(+ (car lst) (cadr lst))
(cons (car lst) nil)))

Не знаю, правильно ли пытаюсь его запустить (на скриншоте)?

@supmener · 19.04.2020, 10:14 **[ТС]**

http://window.edu.ru/resource/... B964-9.pdf

http://window.edu.ru/resource/... B964-9.pdf

@helter · 19.04.2020, 12:43

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

Не знаю, правильно ли пытаюсь его запустить (на скриншоте)?

Круто, это похоже на работу с лиспом. А теперь в нижнем окне попробуйте вычислить факториал какого-нибудь числа.

А там нет кнопки "Расставить отступы" или типа "Расставлять отступы автоматически"? Код нечитаемый.

Новые блоги и статьи Все статьи Все блоги /
Транскрипция 55-минутного видео через Whisper: WhisperDesktop облажался, спас Google Colab[ anaschu 01.06.2026 Понадобилось получить текст из свежезагруженного видео на YouTube. Казалось бы, задача на пять минут. Заняла полтора часа. Делюсь опытом — может кому пригодится последовательность решений. . . .	21 мат мед. Планы на развитие модели здравоСохранения anaschu 01.06.2026 AnyLogic: план развития симуляционной модели рабочего коллектива — динамический абсентеизм, реальные данные, три сценария сравнения Продолжаю серию постов о дискретно-событийной модели рабочего. . .	20. Мат мед. Абсентеизм как отдельный тип простоя anaschu 29.05.2026 Апдейт модели: исправленные баги, абсентеизм и новые механизмы Продолжаю развивать ранее описанную модель рабочего коллектива на AnyLogic. За последние несколько дней был проведён серьёзный. . .	19. здоровье, усталость и психотип работника влияют на производительность предприятия, и наоборот, производительность на здоровье, усталось и психотип anaschu 28.05.2026 Дискретно-событийная модель рабочего коллектива на AnyLogic: здоровье, выгорание, психотипы и микростимуляция Привет, коллеги. Хочу поделиться итогами нескольких недель работы над симуляционной. . .
"Прокси" для последовательного порта Eddy_Em 28.05.2026 Эту штуку написал я достаточно давно. Но сейчас вот понадобилось настроить датчик грозы, но при этом не отключать его от "метеодемона". Соответственно, надо запустить этот "прокси": метеодемон будет. . .	Рефакторинг программы уравнивания. Massaraksh7 26.05.2026 Пример по предыдущей записи в блоге. Но, надо заметить, что, во-первых, там оптимизация не только математики, но и работы с базой данных, и с графами, а во-вторых, это ещё не всё.	Использование TThread в Lazarus для математических вычислений. Massaraksh7 25.05.2026 Производя рефакторинг своих программ на предмет ускорения их работы, обратил внимание на такой аспект, как сокращение времени матвычислений. Дело в том, что приходится работать с большими матрицами. . .	Модель здравосохранения 18. Чем здоровее работник, тем быстрее выгорает anaschu 24.05.2026 Имитационная модель корпоративного здравоохранения: что показывает математика Сегодня в модели рабочего коллектива на AnyLogic появились три новые механики — выгорание через накопленную усталость,. . .

@supmener 87 / 95 / 15 Регистрация: 26.06.2013 Сообщений: 4,755

	Функциональное программирование на Lispe 09.04.2020, 11:18. Показов 11400. Ответов 146 Метки нет (Все метки) Начал смотреть другой курс по функциональному программированию на Lisp https://www.youtube.com/watch?... ebDaSS1P33 Смотреть желательно в HD на большом мониторе, иначе код может быть не виден из-за мелкого шрифта и придется скачивать программой (в Windows это Ummy Video Downloader) делать скриншот и увеличивать. И там сказано, что Lisp предполагает, что Вы пишите в чисто функциональном стиле, чисто функциональной парадигме. А по другому если программировать, немного искажая далее сказанное, является дурным тоном. Что Вы об этом думаете? Это не тот видео курс, о котором упоминал ранее https://www.youtube.com/playli... zm9GG4wOfU https://openedu.ru/course/ITMOUniversity/FPBC/ 0

@Catstail Супер-модератор 38207 / 21140 / 4311 Регистрация: 12.02.2012 Сообщений: 34,751 Записей в блоге: 14
	14.04.2020, 18:53
	Рыжий Лис, могу поделиться... Рациональная арифметика весьма полезна при сверхточных вычислениях. Вот пример. Попробуйте вычислить синус или косинус, суммируя ряд Тейлора (до достижения нужной точности) при x=50... Даже при использовании double результат будет абсурдным. А с рациональными числами получится дикая дробь, но она будет точным приближением к результату. 0

@supmener 87 / 95 / 15 Регистрация: 26.06.2013 Сообщений: 4,755
	14.04.2020, 20:16 [ТС]
	Волнует то, что не с чем сравнивать для проверки. Ответов нету. 0

@supmener 87 / 95 / 15 Регистрация: 26.06.2013 Сообщений: 4,755
	15.04.2020, 07:11 [ТС]
	А версия Лисп 1 была на перфокартах или была ещё более ранняя? Видел таблицу, где перед версией 1,5 была 1. Скриншоты из книги автора Шалимов П.Ю. - Функциональное программирование (2003) Миниатюры 0

@helter 4528 / 3522 / 358 Регистрация: 12.03.2013 Сообщений: 6,038
	15.04.2020, 12:29
	Вы английский не любите, но вот статья Маккарти про начало истории лиспа http://jmc.stanford.edu/articles/lisp/lisp.pdf Про goto тоже написано. Так-то лисп 1.5 был, конечно, "улучшенной версией", поэтому и номер. Добавлено через 5 минут Косвенный аргумент против изучения функционального программирования на лиспе: студент не узнает слова "каррирование". 2

@supmener 87 / 95 / 15 Регистрация: 26.06.2013 Сообщений: 4,755
	15.04.2020, 13:22 [ТС]
	Возможно потом попробую ML Standart или Ocaml или Ocaml Light изучать. Или Python, сейчас не помню, есть ли у него расширение для продвинутого программирования в функциональном стиле. 0

@Catstail Супер-модератор 38207 / 21140 / 4311 Регистрация: 12.02.2012 Сообщений: 34,751 Записей в блоге: 14
	15.04.2020, 13:53
	supmener, тема называется "Функциональное программирование в Лиспе"... Не стоит отвлекаться. 0

@supmener 87 / 95 / 15 Регистрация: 26.06.2013 Сообщений: 4,755
	15.04.2020, 15:51 [ТС]
	Лабораторные работы. Лисп. Функциональное программирование. СевГУ, 2019 год. http://lib.sevsu.ru:8080/jspui... 190041.pdf 0

@Catstail Супер-модератор 38207 / 21140 / 4311 Регистрация: 12.02.2012 Сообщений: 34,751 Записей в блоге: 14
	15.04.2020, 16:17
	О функциональном программировании там 2 странички (26 и 27). 0

@supmener 87 / 95 / 15 Регистрация: 26.06.2013 Сообщений: 4,755
	18.04.2020, 03:53 [ТС]
	Функциональное программирование Курс лекций Автор: Морозов М.Н. http://www.mari-el.ru/mmlab/home/lisp/title.htm 0

@Catstail Супер-модератор 38207 / 21140 / 4311 Регистрация: 12.02.2012 Сообщений: 34,751 Записей в блоге: 14
	18.04.2020, 09:41
	supmener, это хороший курс. Но и там ФП почти нет 1

@supmener 87 / 95 / 15 Регистрация: 26.06.2013 Сообщений: 4,755
	18.04.2020, 14:38 [ТС]
	Там не рабочие две ссылки на картинки http://www.mari-el.ru/mmlab/ho... ICm4_4.GIF http://www.mari-el.ru/mmlab/ho... /l8-8s.gif Написал утром на емайл, указанный на сайте. 0

@helter
	18.04.2020, 16:41
	Не по теме: Рыжий Лис, а ООП и макросы не любопытно посмотреть? :) Это веселее, в питоне такого нет. (ООП, конечно, есть, но не такое.) Описать класс "Треугольник", который определяет эту геометрическую фигуру посредством задания длин трех его сторон 0

@supmener 87 / 95 / 15 Регистрация: 26.06.2013 Сообщений: 4,755
	19.04.2020, 10:14 [ТС]
	http://window.edu.ru/resource/... B964-9.pdf http://window.edu.ru/resource/... B964-9.pdf 0