Расчет моделей

Исчисление шаблонов основывает все вычисления на сопоставлении с шаблоном очень общего вида. Подобно лямбда-исчислению , оно поддерживает единообразную обработку оценки функций . Кроме того, оно позволяет передавать функции в качестве аргументов и возвращать их в качестве результатов. Кроме того, исчисление шаблонов поддерживает единообразный доступ к внутренней структуре аргументов, будь то пары, списки или деревья . Кроме того, оно позволяет передавать шаблоны в качестве аргументов и возвращать их в качестве результатов. Единообразный доступ иллюстрируется функцией сопоставления с шаблоном size, которая вычисляет размер произвольной структуры данных . В нотации языка программирования bondi это задается рекурсивной функцией

пусть размер записи = | x y -> ( размер x ) + ( размер y ) | x -> 1                  

Второй, или случай по умолчанию, x -> 1 сопоставляет шаблон xс аргументом и возвращает 1. Этот случай используется только в том случае, если сопоставление не удалось в первом случае. Первый, или особый случай, сопоставляет с любым составным , таким как непустой список или пара. Сопоставление привязывается xк левому компоненту и yк правому компоненту. Затем тело случая складывает размеры этих компонентов.

Похожие методы дают общие запросы для поиска и обновления. Объединение рекурсии и декомпозиции таким образом дает полиморфизм путей .

Возможность передавать шаблоны в качестве параметров ( полиморфизм шаблонов ) иллюстрируется определением универсального элиминатора. Предположим, что даны конструкторы Leafдля создания листьев дерева и Countдля преобразования чисел в счетчики. Соответствующие элиминаторы тогда

elimLeaf = | Лист y -> y elimCount = | Количество y -> y             

Например, elimLeaf (Leaf 3)оценивается 3как elimCount (Count 3).

Эти примеры можно получить, применив универсальный элиминатор elimк рассматриваемым конструкторам. Он определяется как

элим = | х -> | { у } х у -> у          

Теперь elim Leafвычисляется как | {y} Leaf y -> y, что эквивалентно elimLeaf. Также elim Countэквивалентно elimCount.

В общем случае фигурные скобки {}содержат связанные переменные шаблона, поэтому он xсвободен и yсвязан в | {y} x y -> y.

Внешние ссылки

• Архивное зеркало ссылок ниже (которые больше не доступны)
• Джей, К. Барри (ноябрь 2004 г.). «Исчисление шаблонов». ACM Trans. Program. Lang. Syst . 26 (6): 911–937. doi : 10.1145/1034774.1034775 . S2CID  14252624.— исходная статья, но не самая общая.
• Jay, B.; Kesner, D. (2006). "Pure Pattern Calculus". В Sestoft, P. (ред.). Programming Languages ​​and Systems. ESOP 2006. Lecture Notes in Computer Science. Vol. 3924. Springer. pp. 100–114. doi :10.1007/11693024_8. hdl :10453/1684. ISBN 978-3-540-33096-7.
• Джей, Барри (2009). Pattern Calculus: Computing with Functions and Structures. Springer. doi :10.1007/978-3-540-89185-7. ISBN 978-3-540-89185-7.
• сайт исследований языка программирования bondi
• Given-Wilson, T.; Gorla, D.; Jay, B. (2010). "Concurrent Pattern Calculus". В Calude, CS; Sassone, V. (ред.). Theoretical Computer Science. TCS 2010. IFIP Advances in Information and Communication Technology. Vol. 323. Springer. doi :10.1007/978-3-642-15240-5_18. ISBN 978-3-642-15240-5.