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).
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.
