Loading...
conference paper
Towards Improved GADT Reasoning in Scala
January 1, 2019
Scala'19: Proceedings Of The 10Th Acm Sigplan International Symposium On Scala
Generalized algebraic data types (GADT) have been notoriously difficult to implement correctly in Scala. Both major Scala compilers, Scalac and Dotty, are currently known to have type soundness holes related to them. In particular, covariant GADTs have exposed paradoxes due to Scala's inheritance model. We informally explore foundations for GADTs within Scala's core type system, to guide a principled understanding and implementation of GADTs in Scala.
Loading...
Name
3337932.3338813.pdf
Type
Publisher's version
Access type
openaccess
License Condition
CC BY-SA
Size
463.97 KB
Format
Adobe PDF
Checksum (MD5)
b8ee9af3e4e63313f70a972986498925