Past Meetup

Type Families: More than Lifted Functions

This Meetup is past

90 people went

Habito HQ

14 Gower's Walk, Whitechapel · London

How to find us

We are in 5.3 on floor 5 of The Loom (http://theloom-e1.com/). Nearest tubes are Aldgate (Circle and Metropolitan), Aldgate East (District or Hammersmith and City) and Tower Hill (Circle and District).

Location image of event venue

Details

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.