Аппликативный язык программирования - Applicative programming language
 | Эта статья нужны дополнительные цитаты для проверка. (Апрель 2020 г.) (Узнайте, как и когда удалить этот шаблон сообщения) |
в классификация языков программирования, прикладной язык программирования построен из функции применительно к аргументы. Прикладные языки функциональный, а аппликативный часто используется как синоним функционального.[2] Тем не мение, конкатенативные языки может быть функциональным, но не прикладным.[3]
В семантика прикладных языков основаны на бета-уменьшение терминов и побочные эффекты например, мутация государственный не разрешены.[4]
Лисп и ML являются прикладными языками программирования.
Смотрите также
Рекомендации
- ^ Макбрайд, Конор; Патерсон, Росс (01.01.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). «Можно ли освободить программирование от стиля фон Неймана ?: Функциональный стиль и его алгебра программ». Коммуникации ACM. 21 (8): 613–641. Дои:10.1145/359576.359579.