什么是Haskell的Data.Typeable？

Question

我遇到过对Haskell的引用Data.Typeable,但我不清楚为什么我想在我的代码中使用它.

它解决了什么问题,怎么解决？

Answer 1

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

这样的类型包装代码,直到稍后的阶段,类型检查才会成功.编译器不是将程序拒绝为错误类型,而是将其传递给运行时检查.

风格起源于Abadi等人,由Cheney和Hinze为Haskell开发,作为代表所有动态类型的包装,Typeable该类作为SPJ和Lammel的SYB工作的一部分出现.

参考

• MartínAbadi,Luca Cardelli,Benjamin Pierce和Gordon Plotkin," 动态打字的静态类型语言 ",ACM交易编程语言和系统(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,编程语言的实用基础.

即使在教科书中:动态类型(具有可键式表示)是仅具有一种类型的静态类型语言,Harper ch 20:

20.4无类型意味着Uni-Typed

无类型的λ演算可以忠实地嵌入具有递归类型的类型语言中.这意味着每个无类型的λ项都具有表示为类型化表达式,使得λ项的表示的执行对应于项本身的执行.这种嵌入不是在ℒ{+×⇀μ}(我们可以肯定地)中编写λ演算的解释器的问题,而是在具有递归类型的语言中将无类型λ项直接表示为类型表达式.

关键的观察是无类型的 λ演算实际上是单类型的 λ演算!不是没有 类型赋予它力量,而是它 只有一种类型,即递归类型

D =μt.t→t.

Answer 2

它是一个允许命名类型的库.如果a声明了一个类型Typeable,那么你可以使用show $ typeOf xwhere x的任何值来获取它的名字a.它还具有有限的类型铸造功能.

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

Answer 3

我可以找到的Data.Typeable关于Haskell 的类似库的最早描述之一是1992年的John Peterson: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

我相信这里有很多介入的历史,有人可以参与其中!

Answer 4

该Data.Typeable类主要用于泛型编程在废你的样板(SYB)风格.另请参见Data.Data

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

在现代GHC中,您可以说deriving Data.Typeable在定义自己的类型时,为其提供必要的实例.