WikiDer > Алма-0

Alma-0
Алма-0
Парадигмамультипарадигма: ограничение, императив, логика
РазработаноKrzysztof Apt, Марк Безем, Джейкоб Брунекри, Винсент Партингтон, Андреа Шаерф
РазработчикCentrum Wiskunde & Informatica
Печатная дисциплинастатический
Интернет сайтwww.cwi.nl/en/alma
Основной реализации
Алма-0

Алма-0 это мультипарадигма компьютер язык программирования. Этот язык - расширенная версия повелительного наклонения Модула-2 язык с функциями логического программирования и удобный возврат возможности.[1] Он мал, строго типизированный, и сочетает программирование в ограничениях, ограниченное количество функций, вдохновленных логическое программирование и поддерживает императив парадигмы. Защитники языка декларативное программирование. Разработчики утверждают, что ориентированные на поиск решения, построенные с его помощью, существенно проще, чем их аналоги, написанные в чисто императивном или логическом стиле программирования.[нужна цитата] [1] Alma-0 предоставляет естественные высокоуровневые конструкции для построения деревьев поиска.[2]

Обзор

Поскольку разработчики Alma-0 хотели создать отличное и существенно более простое предложение, чем предыдущие попытки интеграции конструкций декларативного программирования (таких как автоматический возврат) в императивное программирование, при разработке Alma-0 руководствовались следующими четырьмя принципами:

  • логическое расширение должно быть вниз совместим с основным императивным языком программирования
  • логическое расширение должно быть вверх совместим с будущим расширением, которое будет поддерживать программирование в ограничениях
  • конструкции, реализующие расширение, должны поддерживать и поощрять декларативное программирование.
  • расширение должно быть небольшим (было предложено и реализовано девять новых функций)

Alma-0 можно рассматривать не только как конкретное и конкретное предложение языка программирования, но и как пример общий метод для расширения любого императивного языка программирования функциями, поддерживающими декларативное программирование.

Выполнимость подхода Alma-0 была продемонстрирована посредством полной реализации языка (включая описание его семантики) для подмножества Модула-2.

Функции

Реализованные функции в Alma-0 включают:

  • использование логических выражений в качестве операторов и наоборот
  • двойной для ЗА утверждение, которое вводит недетерминизм в виде точки выбора и возврат
  • а ДЛЯ ВСЕХ оператор, который вводит контролируемую форму итерации по отслеживанию с возвратом
  • объединение который, хотя и ограничен использованием равенства в качестве присваивания, дает новый передача параметров механизм.

Императивный и логический режимы программирования

Разработчики Alma-0 утверждают, что присвоение, которого обычно избегают в чисто декларативном и логическом программировании, действительно необходимо в ряде естественных ситуаций, в том числе для целей подсчета и записи. Они также утверждают, что средства выражения такого «естественного» использования присваивания в рамках парадигмы логического программирования неестественны.

Рекомендации

  1. ^ Лю, Джед; Майерс, Эндрю С. (2003). JMatch: итерируемое сопоставление абстрактных шаблонов для Java. Конспект лекций по информатике. 2562/2003. С. 110–127. Дои:10.1007/3-540-36388-2_9. ISBN 978-3-540-00389-2.
  2. ^ Ван Хентенрик, Паскаль; Перрон, Лоран; Пюже, Жан-Франсуа (октябрь 2000 г.). «Поиск и стратегии в ЛП». Транзакции ACM по вычислительной логике. 1 (2): 285–320. CiteSeerX 10.1.1.17.836. Дои:10.1145/359496.359529.