Haskell：获取表达式的静态类型

我正在寻找一个可以完成 GHCi :type 命令的功能的函数。

理想情况下，它会有一个类似的签名

getStaticType :: a -> String

a = getStaticType (1+2)
-- a = "(Num t) => t"

b = getStaticType zipWith
-- b = "(a -> b -> c) -> [a] -> [b] -> [c]"

（注意：这与 Data.Dynamic 无关。我只想从编译器推断出静态类型。事实上，该函数根本不需要运行时实现，因为对它的所有调用都可以在编译时作为常量内联时间。我假设它存在于某处，因为 GHCi 可以做到）

你可以这样做：

import Data.Typeable

getStaticType :: Typeable a => a -> String
getStaticType = show . typeOf

请注意，该类型必须是一个实例Typeable。你可以推导出Typeable自动使用DeriveDataTypeableHaskell 语言扩展和... deriving (Typeable, ...).

另请注意，多态类型不能以这种方式识别；您必须始终使用specific类型，因此您永远无法获得使用编译的 Haskell 代码在 GHCi 中获得的多态类型信息。

GHCi 的做法是使用 GHC API 来分析包含类型信息的中间 Haskell 抽象语法树 (AST)。 GHCi 没有与典型编译的 Haskell 程序相同的受限环境；它可以做很多事情来找到有关其环境的更多信息。

使用TemplateHaskell，你可以这样做；首先，创建这个模块：

module TypeOf where

import Control.Monad

import Language.Haskell.TH
import Language.Haskell.TH.Syntax

getStaticType :: Name -> Q Exp
getStaticType = lift <=< fmap pprint . reify

然后，在一个不同的模块（非常重要），您可以执行以下操作：

{-# LANGUAGE TemplateHaskell #-}

import TypeOf

main = putStrLn $(getStaticType 'zipWith)

该程序输出：

GHC.List.zipWith :: forall a_0 b_1 c_2 . (a_0 -> b_1 -> c_2) ->
                                         [a_0] -> [b_1] -> [c_2]

您可以使用比pprint功能;看看Language.Haskell.TH.Ppr module.