Функциональная парадигма программирования, монады, коробочки, паттерны и отношения с ООП
Description
— Что такое функциональная парадигма программирования.
— Как и зачем она появилась, что лежит в её основе.
— Главные концепции функциональной парадигмы.
— Что такое лямбда-исчисление.
— Действительно ли в функциональной парадигме всё построено на рекурсии.
— Что такое монада, если это не моноид в категории эндофунктора.
— Что такое функции высшего порядка.
— Что такое чистые функции.
— Какие языки наиболее ярко отражают функциональную парадигму.
— Отличие функциональности Lisp от функциональности Haskell.
— Для каких задач функциональная парадигма подходит лучше всего, на каких задачах она проявляется не очень хорошо.
— Сильные и слабые стороны функциональной парадигмы.
— Функциональная парадигма в «нефункциональных» языках.
— Как функциональная парадигма связана с декларативной парадигмой.
— Отношения с ООП. Способна ли функциональная парадигма заменить ООП полностью.
— Что программисты не понимают о функциональной парадигме и какие ошибки в работе с ней совершают чаще всего.
— Почему функциональщики считаются крутыми.
— Зачем нужна функциональная парадигма, если технически компьютер всё равно исполняет код императивно.
— Есть ли попытки собрать компьютер, который на уровне железа работает функционально.
Гость: Роман Душкин, автор и ведущий просветительского YouTube-канала «Душкин объяснит», директор по науке и технологиям Агентства искусственного интеллекта, технологический евангелист. Ведёт Telegram-канал.
Полезные ссылки
YouTube-канал «Душкин объяснит» https://www.youtube.com/channel/UCCNU3ns7Y2IFEQwMbL9UfOg
Telegram-канал «Душкин объяснит» http://t.me/drv_official
Плейлист по функциональному программированию на примере Haskell https://bit.ly/3SCFlkb
Видео Романа Душкина об автоматах https://www.youtube.com/watch?v=YyTQkLPfOSQ
Подкаст с Романом о парадигмах программирования https://skillboxcode.mave.digital/ep-36
Подкаст с Романом о квантовых вычислениях https://skillboxcode.mave.digital/ep-24
Книга Дэвида Дойча «Структура реальности. Наука параллельных вселенных» https://bit.ly/3UIyIPb
Книга Principia Mathematica Уайтхеда и Рассела https://ru.wikipedia.org/wiki/Principia_Mathematica
Парадокс брадобрея (парадокс Рассела) https://bit.ly/3y03SI2
Теория множеств https://ru.wikipedia.org/wiki/Теория_множеств
Квантовая теория множеств http://unism.narod.ru/sci/mth/qsr.htm
Система Цермело — Френкеля https://bit.ly/3BLbu2i
Моисей Шейнфинкель https://bit.ly/3ChAEqA
Комбинаторная логика https://ru.wikipedia.org/wiki/Комбинаторная_логика
Хаскелл Карри https://ru.wikipedia.org/wiki/Карри,_Хаскелл
Каррирование https://ru.wikipedia.org/wiki/Каррирование
Аппликативное программирование https://ru.wikipedia.org/wiki/Аппликативное_программирование
Тезис Чёрча — Тьюринга https://ru.wikipedia.org/wiki/Тезис_Чёрча_—_Тьюринга
Машина Поста https://ru.wikipedia.org/wiki/Машина_Поста
Idris (язык программирования) https://ru.wikipedia.org/wiki/Idris_(язык_программирования)
Гипотеза лингвистической относительности (гипотеза Сепира — Уорфа) https://ru.wikipedia.org/wiki/Гипотеза_лингвистической_относительности
Искусственный язык ифкуиль https://ru.wikipedia.org/wiki/Ифкуиль
Профессор Вячеслав Вольфенгаген https://ru.wikipedia.org/wiki/Вольфенгаген,_Вячеслав_Эрнстович
Носители эсперанто с рождения https://ru.wikipedia.org/wiki/Носители_эсперанто_с_рождения