Шаблон Хаскелла
 | В этой статье есть несколько проблем. Пожалуйста, помогите улучшить его или обсудите эти проблемы на странице обсуждения . ( Узнайте, как и когда удалять эти шаблонные сообщения )
|
Шаблон Haskell — это экспериментальное расширение языка программирования Haskell, реализованное в компиляторе Glasgow Haskell (версия 6 и новее). [1] В ранних воплощениях он также был известен как Template Meta-Haskell.
во время компиляции Он позволяет метапрограммировать и генеративное программирование посредством манипулирования абстрактными синтаксическими деревьями и « сращивания » результатов обратно в программу. Абстрактный синтаксис представлен с использованием обычных типов данных Haskell , а манипуляции выполняются с помощью обычных функций Haskell .
« квазикавычки » Скобки [| и |] используются для получения абстрактного синтаксического дерева для вложенного выражения и скобок сращивания. $( и ) используются для преобразования абстрактного синтаксического дерева в код.
Начиная с GHC-6.10, Template Haskell обеспечивает поддержку определяемых пользователем квазицитатов, что позволяет пользователям писать анализаторы, которые могут генерировать код Haskell из произвольного синтаксиса. Этот синтаксис также применяется во время компиляции. Например, использование специального квазицитата для регулярных выражений может выглядеть так:
digitsFollowedByLetters = [$re| \d+ \s+ |]
Пример
[ редактировать ]Распространенной идиомой является квазицитирование выражения , выполнение некоторых преобразований выражения и вставка результата обратно в программу. Это можно было бы записать так:
result = $( transform [| input |] )
Ссылки
[ редактировать ]- ^ Шеард, Тим; Джонс, Саймон Пейтон (3 октября 2002 г.). «Шаблонное метапрограммирование для Haskell» . Материалы семинара ACM SIGPLAN 2002 года по Haskell . Ассоциация вычислительной техники. стр. 1–16. дои : 10.1145/581690.581691 . ISBN 1581136056 . S2CID 6096655 .
Внешние ссылки
[ редактировать ] на Хаскеле Программирование |
|---|
