Document Type

Book Chapter

Publication Title

Lecture Notes in Computer Science

Version

Author's Final Manuscript

Volume

9600

Publication Date

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 TypeRep. As a result we can build dynamic types as an ordinary, statically-typed library, on top of TypeRep in an open-world context.

DOI

http://doi.org/10.1007/978-3-319-30936-1

Share

COinS