WikiDer > Алма-0
 | Эта статья слишком полагается на Рекомендации к основные источники. (Апрель 2011 г.) (Узнайте, как и когда удалить этот шаблон сообщения) |
Алма-0 это мультипарадигма компьютер язык программирования. Этот язык - расширенная версия повелительного наклонения Модула-2 язык с функциями логического программирования и удобный возврат возможности.[1] Он мал, строго типизированный, и сочетает программирование в ограничениях, ограниченное количество функций, вдохновленных логическое программирование и поддерживает императив парадигмы. Защитники языка декларативное программирование. Разработчики утверждают, что ориентированные на поиск решения, построенные с его помощью, существенно проще, чем их аналоги, написанные в чисто императивном или логическом стиле программирования.[нужна цитата] [1] Alma-0 предоставляет естественные высокоуровневые конструкции для построения деревьев поиска.[2]
Обзор
Поскольку разработчики Alma-0 хотели создать отличное и существенно более простое предложение, чем предыдущие попытки интеграции конструкций декларативного программирования (таких как автоматический возврат) в императивное программирование, при разработке Alma-0 руководствовались следующими четырьмя принципами:
- логическое расширение должно быть вниз совместим с основным императивным языком программирования
- логическое расширение должно быть вверх совместим с будущим расширением, которое будет поддерживать программирование в ограничениях
- конструкции, реализующие расширение, должны поддерживать и поощрять декларативное программирование.
- расширение должно быть небольшим (было предложено и реализовано девять новых функций)
Alma-0 можно рассматривать не только как конкретное и конкретное предложение языка программирования, но и как пример общий метод для расширения любого императивного языка программирования функциями, поддерживающими декларативное программирование.
Выполнимость подхода Alma-0 была продемонстрирована посредством полной реализации языка (включая описание его семантики) для подмножества Модула-2.
Функции
Реализованные функции в Alma-0 включают:
- использование логических выражений в качестве операторов и наоборот
- двойной для
ЗАутверждение, которое вводит недетерминизм в виде точки выбора и возврат - а
ДЛЯ ВСЕХоператор, который вводит контролируемую форму итерации по отслеживанию с возвратом - объединение который, хотя и ограничен использованием равенства в качестве присваивания, дает новый передача параметров механизм.
Императивный и логический режимы программирования
Разработчики Alma-0 утверждают, что присвоение, которого обычно избегают в чисто декларативном и логическом программировании, действительно необходимо в ряде естественных ситуаций, в том числе для целей подсчета и записи. Они также утверждают, что средства выражения такого «естественного» использования присваивания в рамках парадигмы логического программирования неестественны.
Рекомендации
- ^ Лю, Джед; Майерс, Эндрю С. (2003). JMatch: итерируемое сопоставление абстрактных шаблонов для Java. Конспект лекций по информатике. 2562/2003. С. 110–127. Дои:10.1007/3-540-36388-2_9. ISBN 978-3-540-00389-2.
- ^ Ван Хентенрик, Паскаль; Перрон, Лоран; Пюже, Жан-Франсуа (октябрь 2000 г.). «Поиск и стратегии в ЛП». Транзакции ACM по вычислительной логике. 1 (2): 285–320. CiteSeerX 10.1.1.17.836. Дои:10.1145/359496.359529.
- Винсент Партингтон (1997). «Реализация императивного языка программирования с возвратом».
- Джейкоб Брунекриф (1998). «Аннотированная алгебраическая спецификация синтаксиса и семантики языка программирования Алма-0».
- Кшиштоф Р. Апт, Джейкоб Брунекриф, Винсент Партингтон, Андреа Шаерф (1998). «Alma-0: императивный язык, поддерживающий декларативное программирование».
- Кшиштоф Р. Апт, Андреа Шаерф (1998). «Программирование в Alma-0, или согласованное императивное и декларативное программирование».
- Кшиштоф Р. Апт, Андреа Шаерф (1998). «Интеграция ограничений в императивный язык программирования».
- Кшиштоф Р. Апт, Андреа Шаерф (1999). «Проект Alma, или как логика первого порядка может помочь нам в императивном программировании».