Лекция Дениса Москвина о функциональном программировании

9 декабря 2021 года в рамках открытого лектория корпоративной магистерской программы JetBrains «Разработка программного обеспечения» Денис Николаевич Москвин прочел лекцию «Функциональное программирование: как доказывать эквивалентность программ и делать высокоуровневые оптимизации». Оптимизация программ является важным аспектом разработки программного обеспечения и актуальна для всех языков программирования. В императивных языках основные методы оптимизации касаются работы на весьма низком уровне, что интересно и полезно в основном для разработчиков компиляторов. В то же время для функционального подхода разработаны и активно применяются инструменты, которые помогают проводить высокоуровневые оптимизации и и при этом доступны более широкому кругу разработчиков. Так, модель вычислений чистых функциональных языков позволяет легко доказывать алгебраические свойства программ, в частности, их эквивалентность. При этом эквивалентные программы могут иметь разное потребление памяти и времени процессора при их выпол