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