Функциональное программирование на 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

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

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

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

Новые блоги и статьи Все статьи Все блоги /
Кредитный калькулятор Maks 05.08.2026 Решение задачи по прикладной информатике средствами 1С. Задача: Напишите приложение-калькулятор, которое помогает рассчитывать параметры кредита для аннуитетного и дифференцированного видов. . .	У нас сейчас поговорку "Опять 25" нужно переделать на "Опять +35". kumehtar 04.08.2026 С ностальгией вспоминаю времена моего детства, когда у нас и правда +25 - была максимальная температура летом. Раньше +25 °C реально казались вершиной жары, когда можно было весь день пропадать на. . .	Как ИИ начал спорить и врать (возможно почуяв опасность для себя от индустрии - уход от электроники). Hrethgir 04.08.2026 Недельный диалог, на фоне событий с НПЗ. Да, из спирта можно получать бензин, и это не сложно. Но потом в схеме я решил избавиться от насоса, при этом полностью сделав контроль подачи спирта в. . .	Термопринтер QR701 Argus19 03.08.2026 Термопринтер QR701 Купил два термопринтера QR701. На сэлф-тесте написано: Language: PC936 (GB18030). Что означает, что принтеры могут печатать только латиницу и китайские иероглифы. Так же. . .
Создание формы заимствованного документа Maks 03.08.2026 Задача: Необходимо создать собственную форму заимствованного документа. На форме должен быть реквизит "Покупатель", а также табличная часть со следующими реквизитами: - Расчетный счет покупателя. . .	Задача предоставления скидок покупателям Maks 03.08.2026 Задача: В документе "Продажи" необходимо реализовать функционал предоставления скидок покупателям. Скидка должна автоматически рассчитываться и подставляться в соответствующее поле при выборе. . .	Почему SEO не начинается с ключевых слов: что проверить до написания текстов Neotwalker 01.08.2026 Когда владельцу сайта предлагают заняться SEO, первым шагом часто становится сбор запросов и написание текстов. Логика кажется понятной: 1. Находим ключевые слова. 2. Добавляем их на. . .	Знание — сила: Доктрина интенциональности знаний, углубление в формулу Hrethgir 01.08.2026 https:/ / www. cyberforum. ru/ blog_attachment. php?attachmentid=11957&stc=1&d=1785567302 Знаменитый афоризм Фрэнсиса Бэкона «Знание — сила» (Scientia potentia est) в массовой культуре принято понимать. . .

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

	Функциональное программирование на Lispe 09.04.2020, 11:18. Показов 11721. Ответов 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 Супер-модератор 38210 / 21143 / 4313 Регистрация: 12.02.2012 Сообщений: 34,757 Записей в блоге: 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 Супер-модератор 38210 / 21143 / 4313 Регистрация: 12.02.2012 Сообщений: 34,757 Записей в блоге: 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 Супер-модератор 38210 / 21143 / 4313 Регистрация: 12.02.2012 Сообщений: 34,757 Записей в блоге: 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 Супер-модератор 38210 / 21143 / 4313 Регистрация: 12.02.2012 Сообщений: 34,757 Записей в блоге: 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