Метаморфические программирования, расширение языка haskell

 


Метаморфические программирование-это подход для расширения структурированной рекурсивного программирования дисциплина, которая благоприятствует использованию фолд операции над общей рекурсии, чтобы абстрактные типы данных.земли ключевой идеей является представление в АДТ на две части, в конструкторидеструктор,которые по существу являются функциями от/общим представлением.cThen складки могут работать в АДТ, применяя параметр функции ценности, которые доставляются в АДТ собственный деструктор.cFold операции, использующие в качестве параметра в конструктор другого АДТ, называется АДТ трансформаторов,играют важную роль и предложить лаконичный стиль программирования.cSeveral законы для АДТ складок и трансформаторы существуют, которые могут быть использованы для программы оптимизации и верификации.

rdup = через список сет-лист rdup анимация

Экспериментировать с метаморфические программирования:

  • скачать meta.tar.gz
  • разархивировать и распакуйте архив
  • начать обнимаетс(я тестировал программы с объятиями 1.4, Версия июнь 1998)
  • введите :нагрузка ADTprog

Идея метаморфических программирования объясняется и мотивированы в газете

Метаморфические программирования: структурированное рекурсии для абстрактных типов данных

Эту бумагу использует на haskell нотации и представлена в большинстве примеров, содержащихся в дистрибутиве.
Я собираю законы/уравнения здесь.

Категории теории фон дается в газетах

Категорический программирования с абстрактными типами данных

      и

Произвольный Доступ К Абстрактные Типы Данных

См. также этим связанные страницы.

Метаморфические программирования предоставляет множество возможностей для оптимизации программы. Одним из аспектов является внедрение государственной монады с целью повышения эффективности данных структур.кин программ, которые выражаются в виде АДТ трансформаторы, мы можем наблюдать ограниченное использование структуры для adts заголовками, и это может быть использовано для извлечения (я) частичных структур данныхправильно реализации adts заголовками и (II) императив постижения этих частичных структур данных. С библиотекой вместе с adts заголовками (некоторые) их императив реализации, эффективные версии функциональных программ можно получить не будучи обеспокоены или даже зная о состояние монады. Это описано в статье ниже. Одним из примеров является оптимизация графика АДТ что обеспечивает оптимальный императив реализации поиска в глубину.

Ссылка на оригинал статьи: http://web.engr.oregonstate.edu/~erwig/meta/

Добавить комментарий