我曾经看到过 Haskell 的 Data.Typeable 的参考，但我不清楚为什么我要在我的代码中使用它。
它解决了什么问题？怎么用？
Haskell的Data.Typeable是什么？
73
- Muin
4个回答
48
Data.Typeable是一种著名的方法（例如参见Harper），用于在静态类型语言中实现延迟（动态）类型检查的编码——使用通用类型。
这种类型包装了代码，其类型检查直到以后的某个阶段才能成功。编译器不会将程序拒绝为非法类型，而是将其传递给运行时检查。
这种风格起源于Abadi等人，并由Cheney和Hinze开发用作表示所有动态类型的包装器，Typeable类出现在SPJ和Lammel的SYB工作中。
参考文献
- Martín Abadi, Luca Cardelli, Benjamin Pierce和Gordon Plotkin，"在静态类型的语言中实现动态类型 "，ACM Transactions on Programming Languages and Systems（TOPLAS），1991年。
- James Cheney和Ralf Hinze， "一种轻量级泛型和动态实现 "，Haskell'02：2002年ACM SIGPLAN Haskell研讨会论文集，2002年。
- Lammel，Ralf和Jones，Simon Peyton，"废弃您的样板：通用编程的实用设计模式 "，TLDI'03：2003年ACM SIGPLAN国际工作坊论文集，2003年。
- Harper，2011年，《编程语言的实践基础》。
即使在教科书中，动态类型（具有可类型化表示）也是仅有一种类型的静态类型语言，哈珀第20章：
20.4 无类型意味着单类型
无类型λ演算可以被忠实地嵌入到具有递归类型的类型化语言中。这意味着每个无类型λ项都有一个表示形式作为一个类型化表达式，以这样的方式执行λ项的表示相当于执行该项本身。这种嵌入不是在ℒ{+×⇀µ}中编写λ演算解释器的问题（我们肯定可以做到），而是将无类型λ项直接表示为具有递归类型的类型化表达式。
关键观察是，无类型λ演算实际上是单类型λ演算！它并不是没有类型赋予它力量，而是只有一种类型，即递归类型
D = µt.t → t.
- Don Stewart
3
9无类型 λ 演算实际上是单类型 λ 演算——这是一个非常巧妙的双关语！ - Dmytro Sirenko
你能解释一下在Harper的意义下，“解释器”和“直接表示”之间的区别吗？ - dfeuer
这种风格起源于Abadi等人的论文中，他们明确承认在他们写论文之前，已经有了描述该系统的现有实现，可以追溯到Simula 67，并且他们的贡献是为其提供正式的语义定义。 - Jules
17
这是一个库，其中包括命名类型等功能。如果一个类型 a 声明了 Typeable，那么你可以使用 show $ typeOf x 获取它的名称，其中 x 是任何类型为 a 的值。该库还具有 有限的类型转换 功能。
（这与 C++ 中的 RTTI 或动态语言中的反射有些相似。）
- Fred Foo
3
2
Typeable 不允许强制转换类型，这是 Dynamic 的作用。而 Dynamic 不允许在不同类型之间进行强制转换，因为它在 unsafeCoerce 周围形成了一个安全的封装器。Typeable 是 Dynamic 安全封装器的一部分，它提供了获取类型的运行时表示的能力。仅此而已。 - Carl13@Carl:
cast :: (Typeable a, Typeable b) => a -> Maybe b -- 只需使用 Typeable，无需涉及 Dynamic！实际上，使用 Typeable 和 cast，你可以很容易地自己编写 Dynamic... - sclv@sclv，几乎可以了，但是使用
Typeable机制还无法实现dynApply和dynApp，需要使用unsafeCoerce。然而，这很快就会发生，Richard Eisenberg、Stephanie Weirich和其他一些杰出人物一直在努力解决这个问题。 - dfeuer8
我找到的最早关于Haskell的Data.Typeable类似库的描述之一是由John Peterson在1992年发表的：http://www.cs.yale.edu/publications/techreports/tr1022.pdf
我知道的介绍实际Data.Typeable库的最早“官方”论文是2003年的第一篇Scrap Your Boilerplate论文：http://research.microsoft.com/en-us/um/people/simonpj/Papers/hmap/index.htm
我相信这里肯定有很多中间历史，希望有人可以补充！
- sclv
4
Data.Typeable类主要用于Scrap Your Boilerplate（SYB）风格的泛型编程。同时，还请查看 Data.Data。
SYB为用户创建的各种类型定义了一组组合子，以统一的方式执行打印、计数、搜索、替换等操作。而
在现代GHC中，您可以在定义自己的类型时使用
SYB为用户创建的各种类型定义了一组组合子，以统一的方式执行打印、计数、搜索、替换等操作。而
Typeable类型类提供了必要的工具。在现代GHC中，您可以在定义自己的类型时使用
deriving Data.Typeable来为其提供必要的实例。- Lambdageek
网页内容由stack overflow 提供, 点击上面的可以查看英文原文，
原文链接
原文链接