Создание библиотек из машиночитаемых спецификаций в Haskell

Question

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

Ссылки на руководства и учебные пособия были бы очень полезными.

Answer 1

Да, вы можете использовать Template Haskell. Это несколько подходов к его использованию.

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

Другой подход заключается в execute IO в обычном сращивании шаблона Haskell. Это позволит вам прочитать спецификацию из файла (в этом случае также см. addDependentFile), сеть (не делайте этого) или выполнить произвольную программу для создания Haskell AST. Это может быть более полезным, если спецификация изменяется чаще, или вы хотите сохранить строгое разделение между спецификацией и кодом.

Если намного проще произвести источник Haskell, чем Haskell AST, вы можете использовать библиотеку, такую ​​как haskell-src-meta, которая будет анализировать строку в шаблоне Haskell AST.