Учитывая выражение foo, я могу объявить функцию верхнего уровня
bar = foo
и получить тип foo как Type reification bar:
case reify 'bar of
VarI _ t _ _ -> t
Есть ли прямой способ получить тип foo, не создавая избыточное определение bar? Идеально как функция типа Exp -> Q Type.
Вы запрашиваете функцию типа Exp -> Q Info или Exp -> Q Type, да? TH не обеспечивает такую функцию. Единственной функцией TH, которая создает Info, является reify, и ни один другой тип TH, по-видимому, не раскрывает информацию о типе, которой вы пользуетесь. Похоже, что текущий TH API не предоставляет способ для подтверждения произвольных выражений.
Я не эксперт по внутренним системам GHC, но, судя по compiler/typecheck/TcSplice.hs, кажется, подтверждает, что reify работает, просматривая уже скомпилированный объект (и typechecked) и преобразование существующего знания своего типа и т.д. в тип TH Info. Эта информация не будет существовать для произвольного Exp. Я предполагаю, что нам придется отбросить это выражение обратно через другой проход компилятора.