如何在 Haskell 中获取字符串类型？

Question

假设我在模块 My.Module 中定义了一个类型 MyType。我想要字符串“My.Module.MyType”（或类似的东西）。如果我直接输入字符串，我可能会出现拼写错误，如果模块或类型名称发生变化，我想在编译时知道。

啊，看来我问的问题可能有些混乱。请仔细看问题。给定代码：

module My.Module
type MyType = Int
data MyType2 = MyConstructor2 Int
main = do
  putStrLn $ theMagic MyType
  putStrLn $ theMagic MyType2

我想要的输出是：

My.Module.MyType
My.Module.MyType2

我正在寻找类型名称，而不是类型定义。 typeOf 会输出 Int 等，这不是我想要的。

Answer 1

总之，答案是启用模板 haskell 并使用 ' 和 ''

{-# LANGUAGE TemplateHaskell #-}
main = do
  putStrLn $ show 'read

---

如果您的类型派生 Typeable （ghc 可以自动执行），那么您只需从 Data.Typeable 调用 typeOf 即可获得可显示的表示形式。

如果您想获取某些多态函数的类型，Hackage 上的 polytypeable 包允许您这样做：http://hackage.haskell.org/packages/archive/polytypeable/0.1.0.0/doc/html/Data-PolyTypeable.html

这是一个请注意，这是由 Oleg 编写并由 Lennart 打包的疯狂类型级别的东西。它有..怪癖。最明显的是它不能给你（坦率地说，我也无法想象任何东西可以）类约束上下文。因此 show 将被赋予 a ->; 的类型。 String 而不是 forall a.显示=>一个->字符串。

如果您需要更多，并且满足于仅在编译时执行某些操作，那么使用模板 haskell 直接从 ghc 提取类型信息是唯一的方法。请特别参阅 reify 和 Info：http://hackage.haskell.org/packages/archive/template-haskell/2.5.0.0/doc/html/Language-Haskell-TH.html< /a>

Answer 2

您不能将 theMagic 定义为函数（因为它需要类型参数），但您可以接近。

import Data.Typeable
...
putStrLn $ show $ typeOf (undefined :: MyType)

Answer 3

您可以为此使用代理：

Prelude> import Data.Typeable
Prelude Data.Typeable> show $ typeRep (Proxy :: Proxy [Int])
"[Int]"

Answer 4

标准 Haskell 不支持类型名称；仅适用于具有派生 Show 的函子名称。您可以使用 Template Haskell 获取字符串形式的类型名称。