Alejandro Serrano

Type families with class, type classes with family

2015 · ACM SIGPLAN Notices

Type classes and type families are key ingredients in Haskell programming. Type classes were introduced to deal with ad-hoc polymorphism, although with the introduction of functional dependencies, their use expanded to type-level programming. Type families …