Musings on Scala GADTs—Paolo G. Giarrusso
This is the companion website for my paper on Scala GADTs. The source code accompanying the paper is available here - it will be refined later.
Code from our paper
Examples from our paper are extracted in scalaws13.scala
, which is fully compiling.
GADTsWithoutVariance.scala
and GADTsWithVariance.scala
develop various interpreters with and without covariance and build more complex transformations; some comments guide through the various development.
MinimalUnsoundness.scala
contains the unsoundness example in the paper.
News
- 2013-04-21: website online
- 2013-04-22: code available (1st version)
- 2013-06-12: my paper was accepted at the Scala 2013. Title: “Open GADTs and Declaration-site Variance: A Problem Statement”
- 2013-06-23: paper available online, together with updated source code.
Contacts
For any question or suggestion, feel free to contact me, Paolo G. Giarrusso, at pgiarrusso (at) informatik !dot! uni-marburg !dot! de.