Функциональная парадигма программирования, монады, коробочки, паттерны и отношения с ООП

Содержание выпуска

• Что такое функциональная парадигма программирования.
• Как и зачем она появилась, что лежит в её основе.
• Главные концепции функциональной парадигмы.
• Что такое лямбда-исчисление.
• Действительно ли в функциональной парадигме всё построено на рекурсии.
• Что такое монада, если это не моноид в категории эндофунктора.
• Что такое функции высшего порядка.
• Что такое чистые функции.
• Какие языки наиболее ярко отражают функциональную парадигму.
• Отличие функциональности Lisp от функциональности Haskell.
• Для каких задач функциональная парадигма подходит лучше всего, на каких задачах она проявляется не очень хорошо.
• Сильные и слабые стороны функциональной парадигмы.
• Функциональная парадигма в «нефункциональных» языках.
• Как функциональная парадигма связана с декларативной парадигмой.
• Отношения с ООП. Способна ли функциональная парадигма заменить ООП полностью.
• Что программисты не понимают о функциональной парадигме и какие ошибки в работе с ней совершают чаще всего.
• Почему функциональщики считаются крутыми.
• Зачем нужна функциональная парадигма, если технически компьютер всё равно исполняет код императивно.
• Есть ли попытки собрать компьютер, который на уровне железа работает функционально.

Полезные ссылки

• YouTube-канал «Душкин объяснит»
• Telegram-канал «Душкин объяснит»
• Плейлист по функциональному программированию на примере Haskell
• Видео Романа Душкина об автоматах
• Подкаст с Романом о парадигмах программирования
• Подкаст с Романом о квантовых вычислениях
• Книга Дэвида Дойча «Структура реальности. Наука параллельных вселенных»
• Книга Principia Mathematica Уайтхеда и Рассела
• Парадокс брадобрея (парадокс Рассела)
• Теория множеств
• Квантовая теория множеств
• Система Цермело — Френкеля
• Моисей Шейнфинкель
• Комбинаторная логика
• Хаскелл Карри
• Каррирование
• Аппликативное программирование
• Тезис Чёрча — Тьюринга
• Машина Поста
• Idris (язык программирования)
• Гипотеза лингвистической относительности (гипотеза Сепира — Уорфа)
• Искусственный язык ифкуиль
• Профессор Вячеслав Вольфенгаген
• Носители эсперанто с рождения

Слушать выпуск