A Reflection on Types
A Reflection on Types
复制标题
对类型的反思
DOI：
10.1007/978-3-319-30936-1_16
复制
发表时间：
2016
影响因子：
1.1
通讯作者：
Dimitrios Vytiniotis
中科院分区：
文献类型：
--
作者：
S. Jones;Stephanie Weirich;R. Eisenberg;Dimitrios Vytiniotis
在运行时执行类型测试的能力模糊了静态类型语言和动态检查语言之间的界限。Haskell类型系统的最新发展甚至允许使用反射的程序本身被静态类型化，使用名为\(\extsf{\textit{TypeRep}}\)的类型的类型索引运行时表示。因此，我们可以将动态类型构建为一个普通的静态类型库，它位于开放世界上下文中的\(\extsf{\textit{TypeRep}}\)之上。
The ability to perform type tests at runtime blurs the line between statically-typed and dynamically-checked languages. Recent developments in Haskell’s type system allow even programs that use reflection to themselves be statically typed, using a type-indexed runtime representation of types called \(\textsf {\textit{TypeRep}}\). As a result we can build dynamic types as an ordinary, statically-typed library, on top of \(\textsf {\textit{TypeRep}}\) in an open-world context.