Associated Types and Open Type Families

February 16th, 2008 by Peter

Neil Ghani asked what Associated Types were, so I tried to give an introduction to them. Starting the story with Multi-Parameter Type classes and the short-comings of Functional Dependencies and ending with extending the idea of ATs to Type Families. For the curious, this stuff all relies on System F with Type Equality Coercions.

Leave a Reply