什么是 Haskell 的数据。可打字？

这是一个允许命名类型的库。如果将类型 a声明为 Typeable，那么可以使用 show $ typeOf x获得它的名称，其中 x是 a类型的任何值。它还具有 有限制的类型铸造。

(这有点类似于 C + + 的 RTTI 或动态语言的反射。)

数据，可打字类主要用于泛型的 废弃你的样板文件(SYB)风格

其思想是 SYB 定义了一个集合组合器，用于在各种用户创建的类型上以统一的方式执行诸如打印、计数、搜索、替换等操作。Typeable类型类提供了必要的管道。

在现代 GHC 中，为了提供必要的实例，在定义自己的类型时可以直接使用 deriving Data.Typeable。

我能找到的关于 Haskell 的类 Data.Typeable库的最早描述之一是 John Peterson 在1992年写的: http://www.cs.yale.edu/publications/techreports/tr1022.pdf

我所知道的介绍实际 Data.Typeable库的最早的“官方”论文是2003年的第一篇“废弃你的样板文件”: http://research.microsoft.com/en-us/um/people/simonpj/Papers/hmap/index.htm

我相信这里有很多介入的历史可以让这里的人加入进来！

Data.Typeable是一种众所周知的方法(参见 Harper)的编码，用于在静态类型语言中实现延迟(动态)类型检查——使用 通用的类型。

这种类型包装了类型检查要到以后阶段才能成功的代码。编译器不会将程序作为病态类型拒绝，而是将其传递给运行时检查。

这种风格起源于 Abadi 等人，并由 Cheney 和 Hinze 为 Haskell 开发，作为一个包装器来代表所有的动态类型，其中 Typeable类作为 SYB 工作的一部分出现在 SPJ 和 Lammel 的作品中。

参考文献

• Martin Abadi，Luca Cardelli，Benjamin Pierce 和 Gordon Plotkin，“ 静态类型语言中的动态类型”，ACM 编程语言和系统会刊(TOPLAS) ，1991。
• James Cheney and Ralf Hinze，“ 泛型和动态的轻量级实现”，Haskell’02:2002年 ACM SIGPLAN 工作室关于 Haskell 的论文集，2002年。
• “ 废弃你的样板: 一个实用的通用设计模式编程，TLDI’03:2003 ACM SIGPLAN 语言设计和实现类型国际研讨会论文集，2003
• Harper，2011，编程语言实用基础。

甚至在教科书中: 动态类型(带有可打字的表示)是只有一种类型的静态类型语言，Harper ch 20:

20.4无类型表示单一类型

无类型 λ- 演算可以忠实地嵌入到 具有递归类型的类型化语言。这意味着每个 无类型 λ- 项具有类型化表达式的表示形式 以这样一种方式，执行表示的一个 Λ- 项对应于项本身的执行 嵌入是 没有的一个编写解释器的问题 L { + × something μ }中的 λ- 微积分(我们当然可以做到) ，但是 而是无类型 λ- 术语的直接表示 具有递归类型的语言中的表达式。

关键是观察到 无法打印 λ- 演算是 真正的 统一类型 λ- 微积分! 它不是 缺席 给予它力量的类型，而不是它已经 只有一种 类型，即递归类型

D = μt.t → t。