Прикладной язык программирования
 | Эта статья нуждается в дополнительных ссылок для проверки . ( апрель 2020 г. ) |
В классификации языков программирования аппликативный язык программирования состоит из функций , применяемых к аргументам . Аппликативные языки функциональны , и аппликативный часто используется как синоним функционального. [2] Однако конкатенативные языки могут быть функциональными, но не аппликативными. [3]
Семантика , аппликативных языков основана на бета-редукции терминов, и побочные эффекты , такие как мутация состояния не допускаются. [4]
Lisp и ML — прикладные языки программирования.
См. также [ править ]
Ссылки [ править ]
- ^ Макбрайд, Конор; Патерсон, Росс (1 января 2008 г.). «Апппликативное программирование с эффектами». Журнал функционального программирования . 18 (1): 1–13. CiteSeerX 10.1.1.114.1555 . дои : 10.1017/S0956796807006326 . ISSN 1469-7653 .
- ^ Дершовиц, Нахум; Плейстед, Дэвид А. (1985). «Логическое программирование и прикладное программирование». Симпозиум по логическому программированию . Бостон, Массачусетс. стр. 54–66. CiteSeerX 10.1.1.404.3826 .
- ^ Джон Парди (12 февраля 2012 г.). «Почему конкатенативное программирование имеет значение» . Проверено 28 апреля 2020 г.
- ^ Бэкус, Дж. (1978). «Можно ли программирование освободить от стиля фон Неймана?: Функциональный стиль и его алгебра программ» . Коммуникации АКМ . 21 (8): 613–641. дои : 10.1145/359576.359579 .