by Peter on February 16, 2008.
Tagged as: Lunches.
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.