FP (язык программирования)
-
Основы функционального программирования (FP)
- FP разработан Джоном Бэкусом для поддержки функционального программирования.
- FP избегает именованных переменных и использует неявное программирование.
- Влияние на FP оказал APL, созданный Кеннетом Э. Айверсоном.
-
Статья Бэкуса и её влияние
- Статья Бэкуса о FP получила премию Тьюринга и способствовала исследованиям в области функционального программирования.
- Современные функциональные языки основаны на лямбда-исчислении, а не на FP.
-
Особенности FP
- FP использует функциональные формы для создания новых функций без переменных или подстановок.
- Функции FP всегда сопоставляют объекты с объектами и принимают один аргумент.
- FP не получил широкого применения за пределами академических кругов.
-
Расширения FP
- FP84 включает бесконечные последовательности, комбинирующие формы и отложенное вычисление.
- FP84 отличается от FP тем, что функции и объекты представлены отдельно.
- Семантика FP84 основана на базовой алгебре программ.
-
Рекомендации и внешние ссылки
- Статья Уильямса и Уиммерса обсуждает жертву простоты ради удобства в FP.
- Статья содержит ссылки на внешние ресурсы, включая интерпретатор FP и лекцию Бэкуса.
Полный текст статьи: