Type Families: More than Lifted Functions

We'll be enjoying the August thunderstorms with some food, drink and Haskell over at Habito.

Schedule:

6:30 -- Doors open; food, drink and chatter.

7:00 -- Csongor Kiss (Habito): Type Families: More than Lifted Functions.

In this talk we'll start with a brief refresher of Haskell's type families before looking at some of their more counter-intuitive properties and applications -- how they let us play with non-parametricity, manage lifted types and even completely violate some assumptions about the kind system.

7:50 -- Talks finish, some more chatter and networking.

8:15 -- Wrap up and move to a local pub.

Logistics:

Habito are based on the 5th floor of the Loom in 5.3 (South side). Habito people should be in the foyer to point in the right direction and the lifts will do the rest.