目前我正在尝试从 Haskell 子集进行翻译，而无需处理所有解析、类型检查等问题。文档并没有帮助我找出一个函数来通过它的名称获取函数的主体（所有定义）。
此调用的上下文应类似于
fac 0 = 1
fac x = z * fac (x - 1)
getBody = ...
main = do
x <- runQ $ getBody [| fac |]
print x
有谁知道
【问题讨论】：
runQ做什么？可以肯定的是，在运行时尝试使用 TH 是无法获得想要的信息的。
一般来说，使用 TH 查找某事物定义的方法是使用 reify 函数。然而：
你 can't use reify at run-time 通过 runQ。它需要的信息在编译期间不可用。
目前，使用reify 获取函数定义无论如何都是not implemented due to lack of interest。
看来您需要另找一条路线。您是否考虑过使用 the haskell-src-exts package 进行解析和/或 GHC API 或基于它的东西？
【讨论】：
conv1 (TyConI x) = [| TyConI $(conv2 x) |]conv2 (DataD _ name _ _ _) = [| DataD [] (mkName $(return $ LitE $ stringL $ show name)) [] [] [] |]main = print $(reify ''Int >>= conv1) 此外，reify 将为 调用返回 AST 的功能，但不是它的身体，反正。应该有 reifyDecl 函数，确实没有。我真的很感谢你的帮助。谢谢。
reify 通常确实会给您声明，当这有意义时——对于一个类型，它将为您提供构造函数列表，@987654335 @list 等等。 reifying 一个函数的名称会给你一个 VarI 的信息，它有一个 Maybe Dec 值，即一个声明。如果我理解你想要什么，reify 会这样做，只是现在没有实施，因为显然很少有人想要它。