Title
Document Type
Book Chapter
Publication Title
A List of Successes That Can Change the World: Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday
Version
Final Published Version
Volume
9600
Publication Date
3-2016
Abstract
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 \ππΎππππ{π³πππΎπ±πΎπ}\textit{TypeRep}. As a result we can build dynamic types as an ordinary, statically-typed library, on top of \ππΎππππ{π³πππΎπ±πΎπ}\textit{TypeRep} in an open-world context.
Publisher's Statement
The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-30936-1_16.
DOI
http://dx.doi.org/10.1007/978-3-319-30936-1_16
Citation
Simon Peyton Jones , Stephanie Weirich, Richard A. Eisenberg, Dimitrios Vytiniotis, "A Reflection on Types," in A List of Successes That Can Change the World: Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday, ed. Sam Lindley et al. (Cham: Springer International Publishing, 2016) 292-317.