A quick look at impredicativity

Alejandro Serrano, Jurriaan Hage, Simon Peyton Jones, Dimitrios Vytiniotis

Research output: Contribution to journalArticlepeer-review

6 Citations (SciVal)
6 Downloads (Pure)

Abstract

Type inference for parametric polymorphism is wildly successful, but has always suffered from an embarrassing flaw: polymorphic types are themselves not first class. We present Quick Look, a practical, implemented, and deployable design for impredicative type inference. To demonstrate our claims, we have modified GHC, a production-quality Haskell compiler, to support impredicativity. The changes required are modest, localised, and are fully compatible with GHC's myriad other type system extensions.
Original languageEnglish
Article number89
JournalProceedings of the ACM on Programming Languages
Volume4
Issue numberICFP
DOIs
Publication statusPublished - 2 Aug 2020

Keywords

  • constraint-based inference
  • impredicative polymorphism
  • Type systems

Fingerprint

Dive into the research topics of 'A quick look at impredicativity'. Together they form a unique fingerprint.

Cite this