Оглавление
Программирование на функциональном уровне
-
Парадигмы программирования
- Функциональное программирование и ценностное программирование – две основные парадигмы, описанные Джоном Бэкусом.
- Бэкус критиковал языки за добавление новых функций без улучшения их стоимости и надежности.
-
Функциональное программирование
- FP – первый язык программирования, разработанный Бэкусом для поддержки функционального программирования.
- Программы на функциональном уровне строятся из программ, а не из значений.
- Функциональное программирование подчеркивает алгебраические свойства операций формирования программ.
-
Отличие от функционального программирования
- Бэкус не считал FP ограничительным вариантом лямбда-стиля, а скорее особым типом программирования.
- FP имеет фиксированные функциональные формы, что ограничивает создание новых функций.
- Бэкус рассматривал ограничения как способ создания хорошо структурированного математического пространства.
-
Примеры языков
- FP является каноническим языком функционального программирования.
- FL и J также относятся к языкам функционального уровня.
-
Рекомендации и ссылки
- Ссылки на статьи и публикации Бэкуса, связанные с функциональным программированием и семантикой языков программирования.
Полный текст статьи: