Я хотел изучить Template Haskell, но все учебные материалы, которые я нахожу, предполагают, что вы выучили lisp и знаете, что такое макросы lisp, или что вы знаете некоторый жаргон теории cs - такие вещи, как сращивания, квазиквотации и т. Д. - или некоторые теоретические результаты о макросах .
Я не могу закодировать ни одной строчки лиспа (и, хотя я собираюсь сделать это когда-нибудь, у меня нет времени изучать это прямо сейчас). Haskell - это мой самый первый функциональный язык, и я выучил его до такой степени, что могу регулярно кодировать на нем, использовать монады, аппликативность, понимать систему типов и т. Д., Но я мало что знаю (тоже хочу учиться, но я я слишком глуп для этого ...: P) о теоретических вещах, связанных с CS. Так что я не обращаю внимания на жаргон, который обычно нахожу в учебниках TH.
Итак, вопрос: есть ли учебник по TH для того, кто кодирует Haskell, не как профессиональный ученый-компьютерщик, а просто как парень, который использует программирование для своих повседневных дел, который изучил Haskell как свой первый функциональный язык? Может быть, введение в макросы и метапрограммирование на примере TH?
Спасибо всем. :)