Family Polymorphism

• Papers
  • Family Polymorphism Erik Ernst 2001
  • The expression problem, Scandinavian style Erik Ernst 2004
  • Lightweight Family Polymorphism Atsushi Igarashi, Chieri Saito, Mirko Viroli 2005
  • A Nominal Theory of Objects with Dependent Types Martin Odersky, Vincent Cremet, Christine R¨ockl, Matthias Zenger 2002?
  • Family Genericity Erik Ernst 2006
  • Revisiting Parametric Types and Virtual Classes Anders Bach Madsen, Erik Ernst 2010
  • Familia: Unifying Interfaces, Type Classes, and Family Polymorphism YIZHOU ZHANG, ANDREW C. MYERS 2017
  • The Essence of Nested Composition Xuan Bi, Bruno C. d. S. Oliveira, Tom Schrijvers 2018
  • A Path To DOT: Formalizing Fully Path-Dependent Types MARIANNA RAPOPORT, ONDŘEJ LHOTÁK 2019
  • Row and Bounded Polymorphism via Disjoint Polymorphism Ningning Xie, Bruno C. d. S. Oliveira, Xuan Bi, Tom Schrijvers 2020
• Posts
  • Abstract types vs generics ayvango 2012
  • …in Scala with family polymorphism 2020
• Stephen Compall 2015-2017
  • Type members are almost type parameters
  • When are two methods alike?
  • What happens if I forget the refinement?
  • Type projection isn’t that specific
  • Nested existentials
  • Values never change types
  • To change types, change values
  • It’s existential on the inside
  • Making internal state functional
  • Avoiding refinement with dependent method types - ?
  • Four ways to escape a cake
  • There are more types than classes
• todo add mdoc to the repository