Template Haskell имена деклараций как строки

Question

Скажем, у меня есть это:

f x = x + 1 

tt2 name o = sequence [valD (varP (mkName name)) (normalB [| f $(varE o) |]) []] 

Я хотел бы преобразовать tt2 в tt:

tt name o = [d| ??? = f $(varE o) |] 

Я не могу понять, что ??? должно быть. Вероятно, это потому, что я не понимаю, как работает TH. Может кто-нибудь помочь?

Answer 1

Вы пытаетесь объединить имя или шаблон. К сожалению, это невозможно. Шаблон Haskell позволяет разрешать выражения, типы и декларации сплайсинга, поэтому вы застряли с этим вручную, как в исходном коде.

См. GHC#1476 по некоторым причинам, почему сплайсинг не допускается.