Type inference for GADTs, and for Fortress?
I downloaded this a while back but just now getting to it: Tom Schrijvers, Simon Peyton-Jones, et al. Complete and decidable type inference for GADTs, ICFP 2009. I’m trying to think of ways to adapt their type inference algorithm for GADTs for use in Fortress. Their handling of implication constraints for type inference seems analogous to our problem of incorporating type inference and overloading.
William told me about an OOPSLA paper a few years ago comparing GADTs to OOP — Andrew Kennedy and Claudio Russo. Generalized algebraic data types and object-oriented programming, OOPSLA 2005. Hopefully this will help me fill in the gaps too.
