KIT | KIT-Bibliothek | Impressum

Safe zero-cost coercions for Haskell

Breitner, Joachim; Eisenberg, Richard A.; Peyton Jones, Simon L.; Weirich, Stephanie

Abstract: Generative type abstractions - present in Haskell, OCaml, and other languages - are useful concepts to help prevent programmer errors. They serve to create new types that are distinct at compile time but share a run-time representation with some base type. We present a new mechanism that allows for zero-cost conversions between generative type abstractions and their representations, even when such types are deeply nested. We prove type safety in the presence of these conversions and have implemented our work in GHC.


Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Proceedingsbeitrag
Jahr 2014
Sprache Englisch
Identifikator DOI: 10.1145/2628136.2628141
ISBN: 978-1-4503-2873-9
KITopen ID: 1000049756
Erschienen in Proceedings. ICFP '14 Proceedings of the 19th ACM SIGPLAN International Conference on Functional Programming, Gothenburg, Sweden, September 1-3, 2014
Verlag ACM, New York (NY)
Seiten 189-202
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page