说我有这个：

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) |]

我弄不清楚是什么???应该.这可能是因为我不明白它是如何工作的.有人可以帮忙吗？

最佳答案 你正试图拼接一个名字或一个模式.不幸的是,这是不可能的.模板Haskell只允许拼接表达式,类型和声明,所以你不得不像在原始代码中一样手动操作.

有关不允许使用模式拼接的一些原因,请参见GHC #1476.